public void run() { if (fSourceViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) fSourceViewer; StyledText textWidget= fSourceViewer.getTextWidget(); int topIndex= textWidget.getTopIndex(); int newTopIndex= Math.max(0, topIndex + fScrollIncrement); fSourceViewer.setTopIndex(extension.widgetLine2ModelLine(newTopIndex)); } else { int topIndex= fSourceViewer.getTopIndex(); int newTopIndex= Math.max(0, topIndex + fScrollIncrement); fSourceViewer.setTopIndex(newTopIndex); } } }
@Override public void run() { if (fSourceViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) fSourceViewer; StyledText textWidget= fSourceViewer.getTextWidget(); int topIndex= textWidget.getTopIndex(); int newTopIndex= Math.max(0, topIndex + fScrollIncrement); fSourceViewer.setTopIndex(extension.widgetLine2ModelLine(newTopIndex)); } else { int topIndex= fSourceViewer.getTopIndex(); int newTopIndex= Math.max(0, topIndex + fScrollIncrement); fSourceViewer.setTopIndex(newTopIndex); } } }
@Override public void run() { if (fSourceViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) fSourceViewer; StyledText textWidget= fSourceViewer.getTextWidget(); int topIndex= textWidget.getTopIndex(); int newTopIndex= Math.max(0, topIndex + fScrollIncrement); fSourceViewer.setTopIndex(extension.widgetLine2ModelLine(newTopIndex)); } else { int topIndex= fSourceViewer.getTopIndex(); int newTopIndex= Math.max(0, topIndex + fScrollIncrement); fSourceViewer.setTopIndex(newTopIndex); } } }
protected void doRun() { LdifContainer[] containers = super.getSelectedLdifContainers(); if ( containers.length > 0 ) { IDocument document = editor.getDocumentProvider().getDocument( editor.getEditorInput() ); String old = document.get(); StringBuffer sb = new StringBuffer(); sb.append( old.substring( 0, containers[0].getOffset() ) ); for ( int i = 0; i < containers.length; i++ ) { LdifContainer container = containers[i]; sb.append( container.toFormattedString( Utils.getLdifFormatParameters() ) ); } sb.append( old.substring( containers[containers.length - 1].getOffset() + containers[containers.length - 1].getLength(), old.length() ) ); ISourceViewer sourceViewer = ( ISourceViewer ) editor.getAdapter( ISourceViewer.class ); int topIndex = sourceViewer.getTopIndex(); document.set( sb.toString() ); sourceViewer.setTopIndex( topIndex ); } }
protected void doRun() { IDocument document = editor.getDocumentProvider().getDocument( editor.getEditorInput() ); ISourceViewer sourceViewer = ( ISourceViewer ) editor.getAdapter( ISourceViewer.class ); int topIndex = sourceViewer.getTopIndex(); document.set( super.getLdifModel().toFormattedString( Utils.getLdifFormatParameters() ) ); sourceViewer.setTopIndex( topIndex ); }
/** * @see org.eclipse.ui.texteditor.AbstractDecoratedTextEditor#handlePreferenceStoreChanged(org.eclipse.jface.util.PropertyChangeEvent) */ protected void handlePreferenceStoreChanged( PropertyChangeEvent event ) { try { ISourceViewer sourceViewer = getSourceViewer(); if ( sourceViewer == null ) { return; } int topIndex = getSourceViewer().getTopIndex(); getSourceViewer().getDocument().set( getSourceViewer().getDocument().get() ); getSourceViewer().setTopIndex( topIndex ); } finally { super.handlePreferenceStoreChanged( event ); } }
int topIndex= sourceViewer.getTopIndex();
int topIndex= sourceViewer.getTopIndex();
int topIndex= sourceViewer.getTopIndex();
/** * Sets the font for this viewer sustaining selection and scroll position. */ private void setViewerFont() { Font font= JFaceResources.getFont(SYMBOLIC_FONT_NAME); if (getViewer().getDocument() != null) { Point selection= getViewer().getSelectedRange(); int topIndex= getViewer().getTopIndex(); StyledText styledText= getViewer().getTextWidget(); Control parent= styledText; if (getViewer() instanceof ITextViewerExtension) { ITextViewerExtension extension= (ITextViewerExtension) getViewer(); parent= extension.getControl(); } parent.setRedraw(false); styledText.setFont(font); getViewer().setSelectedRange(selection.x , selection.y); getViewer().setTopIndex(topIndex); if (parent instanceof Composite) { Composite composite= (Composite) parent; composite.layout(true); } parent.setRedraw(true); } else { StyledText styledText= getViewer().getTextWidget(); styledText.setFont(font); } }
/** * Sets the font for this viewer sustaining selection and scroll position. */ private void setViewerFont() { Font font= JFaceResources.getFont(SYMBOLIC_FONT_NAME); if (getViewer().getDocument() != null) { Point selection= getViewer().getSelectedRange(); int topIndex= getViewer().getTopIndex(); StyledText styledText= getViewer().getTextWidget(); Control parent= styledText; if (getViewer() instanceof ITextViewerExtension) { ITextViewerExtension extension= (ITextViewerExtension) getViewer(); parent= extension.getControl(); } parent.setRedraw(false); styledText.setFont(font); getViewer().setSelectedRange(selection.x , selection.y); getViewer().setTopIndex(topIndex); if (parent instanceof Composite) { Composite composite= (Composite) parent; composite.layout(true); } parent.setRedraw(true); } else { StyledText styledText= getViewer().getTextWidget(); styledText.setFont(font); } }
/** * Sets the font for this viewer sustaining selection and scroll position. */ private void setViewerFont() { Font font= JFaceResources.getFont(SYMBOLIC_FONT_NAME); if (getViewer().getDocument() != null) { Point selection= getViewer().getSelectedRange(); int topIndex= getViewer().getTopIndex(); StyledText styledText= getViewer().getTextWidget(); Control parent= styledText; if (getViewer() instanceof ITextViewerExtension) { ITextViewerExtension extension= (ITextViewerExtension) getViewer(); parent= extension.getControl(); } parent.setRedraw(false); styledText.setFont(font); getViewer().setSelectedRange(selection.x , selection.y); getViewer().setTopIndex(topIndex); if (parent instanceof Composite) { Composite composite= (Composite) parent; composite.layout(true); } parent.setRedraw(true); } else { StyledText styledText= getViewer().getTextWidget(); styledText.setFont(font); } }