Package es.upv.dsic.issi.moment.maudesimpleGUI.ui.editors

Examples of es.upv.dsic.issi.moment.maudesimpleGUI.ui.editors.MaudeEditor

88
89
90
91
92
93
94
95
96
97
98
99
 
  private int getNumberOfLines(){
    int numberLines=1;
    IEditorPart editor=PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().getActiveEditor();
    if(editor instanceof MaudeEditor){
      MaudeEditor maudeEditor= (MaudeEditor)editor;
      IDocument documento=maudeEditor.getDocumentProvider().getDocument(maudeEditor.getEditorInput());
      numberLines=documento.getNumberOfLines();
    }
   
    return numberLines;
 
View Full Code Here
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
   
    try{
         
      IEditorPart editor=PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().getActiveEditor();
      if(editor instanceof MaudeEditor){
        MaudeEditor maudeEditor= (MaudeEditor)editor;
        IDocument documento=maudeEditor.getDocumentProvider().getDocument(maudeEditor.getEditorInput());
     
        int offSet=documento.getLineOffset(numLinea-1);
               
        TextSelection seleccion = new TextSelection(offSet,0);
             
        maudeEditor.getSelectionProvider().setSelection(seleccion);
       
      }
   
    }catch(NumberFormatException e){}
    catch (BadLocationException e) {}
View Full Code Here
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
          numLinea=Integer.parseInt(selec.getText());
          numLinea--;
       
          IEditorPart editor=PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().getActiveEditor();
          if(editor instanceof MaudeEditor){
            MaudeEditor maudeEditor= (MaudeEditor)editor;
            IDocument documento=maudeEditor.getDocumentProvider().getDocument(maudeEditor.getEditorInput());
         
            int offSet=documento.getLineOffset(numLinea);
                   
            TextSelection seleccion = new TextSelection(offSet,documento.getLineLength(numLinea));
                 
            maudeEditor.getSelectionProvider().setSelection(seleccion);
           
          }
       
        }catch(NumberFormatException e){}
        catch (BadLocationException e) {}
View Full Code Here
TOP

Related Classes of es.upv.dsic.issi.moment.maudesimpleGUI.ui.editors.MaudeEditor

  • es.upv.dsic.issi.moment.maudesimpleGUI.core.GoToLine
  • es.upv.dsic.issi.moment.maudesimpleGUI.ui.toconsole.MaudeConsoleView
  • org.eclipse.core.runtime.Path
  • org.eclipse.jface.action.Action
  • org.eclipse.jface.action.Separator
  • org.eclipse.jface.viewers.ISelection
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.