Mercurial > projects > dwt-addons

comparison dwtx/jface/text/TextViewer.d @ 135:65801ad2b265

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Regex fix for anon classes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:52:31 +0200
parents 51e6e63f930e
children 6dcb0baaa031
comparison
equal deleted inserted replaced
134:51e6e63f930e 135:65801ad2b265
1843 protected void createControl(Composite parent, int styles) { 1843 protected void createControl(Composite parent, int styles) {
1844 1844
1845 fTextWidget= createTextWidget(parent, styles); 1845 fTextWidget= createTextWidget(parent, styles);
1846 1846
1847 // Support scroll page upon MOD1+MouseWheel 1847 // Support scroll page upon MOD1+MouseWheel
1848 fTextWidget.addListener(DWT.MouseWheel, new Listener() { 1848 fTextWidget.addListener(DWT.MouseWheel, new class() Listener {
1849 1849
1850 public void handleEvent(Event event) { 1850 public void handleEvent(Event event) {
1851 if (((event.stateMask & DWT.MOD1) is 0)) 1851 if (((event.stateMask & DWT.MOD1) is 0))
1852 return; 1852 return;
1853 1853
1862 updateViewportListeners(INTERNAL); 1862 updateViewportListeners(INTERNAL);
1863 } 1863 }
1864 }); 1864 });
1865 1865
1866 fTextWidget.addDisposeListener( 1866 fTextWidget.addDisposeListener(
1867 new DisposeListener() { 1867 new class() DisposeListener {
1868 public void widgetDisposed(DisposeEvent e) { 1868 public void widgetDisposed(DisposeEvent e) {
1869 handleDispose(); 1869 handleDispose();
1870 } 1870 }
1871 } 1871 }
1872 ); 1872 );
1876 1876
1877 /* 1877 /*
1878 * Disable DWT Shift+TAB traversal in this viewer 1878 * Disable DWT Shift+TAB traversal in this viewer
1879 * 1GIYQ9K: ITPUI:WINNT - StyledText swallows Shift+TAB 1879 * 1GIYQ9K: ITPUI:WINNT - StyledText swallows Shift+TAB
1880 */ 1880 */
1881 fTextWidget.addTraverseListener(new TraverseListener() { 1881 fTextWidget.addTraverseListener(new class() TraverseListener {
1882 public void keyTraversed(TraverseEvent e) { 1882 public void keyTraversed(TraverseEvent e) {
1883 if ((DWT.SHIFT is e.stateMask) && ('\t' is e.character)) 1883 if ((DWT.SHIFT is e.stateMask) && ('\t' is e.character))
1884 e.doit= false; 1884 e.doit= false;
1885 } 1885 }
1886 }); 1886 });
1889 fTopInset= -fTextWidget.computeTrim(0, 0, 0, 0).y; 1889 fTopInset= -fTextWidget.computeTrim(0, 0, 0, 0).y;
1890 1890
1891 fVerifyListener.forward(true); 1891 fVerifyListener.forward(true);
1892 fTextWidget.addVerifyListener(fVerifyListener); 1892 fTextWidget.addVerifyListener(fVerifyListener);
1893 1893
1894 fTextWidget.addSelectionListener(new SelectionListener() { 1894 fTextWidget.addSelectionListener(new class() SelectionListener {
1895 public void widgetDefaultSelected(SelectionEvent event) { 1895 public void widgetDefaultSelected(SelectionEvent event) {
1896 selectionChanged(event.x, event.y - event.x); 1896 selectionChanged(event.x, event.y - event.x);
1897 } 1897 }
1898 public void widgetSelected(SelectionEvent event) { 1898 public void widgetSelected(SelectionEvent event) {
1899 selectionChanged(event.x, event.y - event.x); 1899 selectionChanged(event.x, event.y - event.x);
2633 Display display= getDisplay(); 2633 Display display= getDisplay();
2634 if (display is null) 2634 if (display is null)
2635 return; 2635 return;
2636 2636
2637 fNumberOfPostSelectionChangedEvents[0]++; 2637 fNumberOfPostSelectionChangedEvents[0]++;
2638 display.timerExec(getEmptySelectionChangedEventDelay(), new Runnable() { 2638 display.timerExec(getEmptySelectionChangedEventDelay(), new class() Runnable {
2639 final int id= fNumberOfPostSelectionChangedEvents[0]; 2639 final int id= fNumberOfPostSelectionChangedEvents[0];
2640 public void run() { 2640 public void run() {
2641 if (id is fNumberOfPostSelectionChangedEvents[0]) { 2641 if (id is fNumberOfPostSelectionChangedEvents[0]) {
2642 // Check again because this is executed after the delay 2642 // Check again because this is executed after the delay
2643 if (getDisplay() !is null) { 2643 if (getDisplay() !is null) {