public void widgetSelected( SelectionEvent se ) { Slider sl = (Slider) se.widget; scale = sl.getSelection(); wCanvas.redraw(); } } );
public void widgetSelected( SelectionEvent se ) { Slider sl = (Slider) se.widget; nrcols = sl.getSelection(); wCanvas.redraw(); } } );
public void widgetSelected( SelectionEvent se ) { Slider sl = (Slider) se.widget; nrrows = sl.getSelection(); wCanvas.redraw(); } } );
void refreshObject() { int index = list.getSelectionIndex(); if ( index == -1 ) { return; } if ( check.getSelection() ) { ByteArrayOutputStream stream = new ByteArrayOutputStream(); PrintStream s = new PrintStream( stream ); errors[index].printStackTrace( s ); text.setText( stream.toString() ); text.setVisible( true ); canvas.setVisible( false ); } else { canvas.setVisible( true ); text.setVisible( false ); canvas.redraw(); } }
public void widgetSelected( SelectionEvent arg0 ) { graphFont.dispose(); graphFontData = props.getDefaultFontData(); graphFont = new Font( display, graphFontData ); wGFont.redraw(); } } );
public void redraw() { if ( isDisposed() || canvas.isDisposed() ) { return; } canvas.redraw(); setZoomLabel(); }
public void widgetSelected( SelectionEvent arg0 ) { noteFontData = props.getDefaultFontData(); noteFont.dispose(); noteFont = new Font( display, noteFontData ); wNFont.redraw(); } } );
public void widgetSelected( SelectionEvent arg0 ) { tabColor.dispose(); tabColorRGB = new RGB( ConstUI.COLOR_TAB_RED, ConstUI.COLOR_TAB_GREEN, ConstUI.COLOR_TAB_BLUE ); tabColor = new Color( display, tabColorRGB ); wTabColor.setBackground( tabColor ); wTabColor.redraw(); } } );
public void widgetSelected( SelectionEvent arg0 ) { background.dispose(); backgroundRGB = new RGB( ConstUI.COLOR_BACKGROUND_RED, ConstUI.COLOR_BACKGROUND_GREEN, ConstUI.COLOR_BACKGROUND_BLUE ); background = new Color( display, backgroundRGB ); wBGColor.setBackground( background ); wBGColor.redraw(); } } );
public void run() { if ( metricsComposite != null && !metricsComposite.isDisposed() && canvas != null && !canvas.isDisposed() && jobMetricsTab != null && !jobMetricsTab.isDisposed() ) { if ( jobMetricsTab.isShowing() ) { canvas.redraw(); } } } } );
public void widgetSelected( SelectionEvent arg0 ) { graphColor.dispose(); graphColorRGB = new RGB( ConstUI.COLOR_GRAPH_RED, ConstUI.COLOR_GRAPH_GREEN, ConstUI.COLOR_GRAPH_BLUE ); graphColor = new Color( display, graphColorRGB ); wGrColor.setBackground( graphColor ); wGrColor.redraw(); } } );
public void run() { if ( metricsComposite != null && !metricsComposite.isDisposed() && canvas != null && !canvas.isDisposed() && transMetricsTab != null && !transMetricsTab.isDisposed() ) { if ( transMetricsTab.isShowing() ) { canvas.redraw(); } } } } );
public void widgetSelected( SelectionEvent arg0 ) { FontDialog fd = new FontDialog( shell ); fd.setFontList( new FontData[] { graphFontData } ); FontData newfd = fd.open(); if ( newfd != null ) { graphFontData = newfd; graphFont.dispose(); graphFont = new Font( display, graphFontData ); wGFont.redraw(); } } } );
public void widgetSelected( SelectionEvent arg0 ) { FontDialog fd = new FontDialog( shell ); fd.setFontList( new FontData[] { noteFontData } ); FontData newfd = fd.open(); if ( newfd != null ) { noteFontData = newfd; noteFont.dispose(); noteFont = new Font( display, noteFontData ); wNFont.redraw(); } } } );
public void widgetSelected( SelectionEvent arg0 ) { FontDialog fd = new FontDialog( shell ); fd.setFontList( new FontData[] { fixedFontData } ); FontData newfd = fd.open(); if ( newfd != null ) { fixedFontData = newfd; fixedFont.dispose(); fixedFont = new Font( display, fixedFontData ); wFFont.redraw(); } } } );
public void widgetSelected( SelectionEvent arg0 ) { ColorDialog cd = new ColorDialog( shell ); cd.setRGB( props.getBackgroundRGB() ); RGB newbg = cd.open(); if ( newbg != null ) { backgroundRGB = newbg; background.dispose(); background = new Color( display, backgroundRGB ); wBGColor.setBackground( background ); wBGColor.redraw(); } } } );
public void widgetSelected( SelectionEvent arg0 ) { ColorDialog cd = new ColorDialog( shell ); cd.setRGB( props.getGraphColorRGB() ); RGB newbg = cd.open(); if ( newbg != null ) { graphColorRGB = newbg; graphColor.dispose(); graphColor = new Color( display, graphColorRGB ); wGrColor.setBackground( graphColor ); wGrColor.redraw(); } } } );
public void widgetSelected( SelectionEvent arg0 ) { ColorDialog cd = new ColorDialog( shell ); cd.setRGB( props.getTabColorRGB() ); RGB newbg = cd.open(); if ( newbg != null ) { tabColorRGB = newbg; tabColor.dispose(); tabColor = new Color( display, tabColorRGB ); wTabColor.setBackground( tabColor ); wTabColor.redraw(); } } } );
list.removeAll(); text.setText( "" ); canvas.redraw(); for ( int i = 0; i < objects.length; i++ ) { list.add( objects[i].toString() );
public void widgetSelected( SelectionEvent arg0 ) { fixedFontData = new FontData( PropsUI.getInstance().getFixedFont().getName(), PropsUI.getInstance().getFixedFont().getHeight(), PropsUI.getInstance().getFixedFont().getStyle() ); fixedFont.dispose(); fixedFont = new Font( display, fixedFontData ); wFFont.redraw(); } } );