protected void releaseWidgetToken() { ISourceViewer viewer = editor.getInternalSourceViewer(); if (viewer instanceof IWidgetTokenOwner) { IWidgetTokenOwner widgetTokenOwner = (IWidgetTokenOwner) viewer; widgetTokenOwner.releaseWidgetToken(this); } }
protected XtextEditor openEditor(String string) throws Exception { int cursor = string.indexOf('|'); String fileExtension = getFileExtension(); IFile file = createFile("foo/myfile" + files.size() + "." + fileExtension, string.replace("|", "")); files.add(file); XtextEditor editor = openEditor(file); editor.getInternalSourceViewer().setSelectedRange(cursor, 0); editor.getInternalSourceViewer().getTextWidget().setFocus(); return editor; }
public void addVerifyListener(VerifyListener listener) { ISourceViewer sourceViewer = currentEditor.getInternalSourceViewer(); StyledText widget = sourceViewer.getTextWidget(); widget.addVerifyListener(listener); }
protected XtextEditor openEditor(String content) throws Exception { int cursor = content.indexOf('|'); String fileExtension = getFileExtension(); IFile file = createFile("foo/myfile" + files.size() + "." + fileExtension, content.replace("|", "")); files.add(file); XtextEditor editor = openEditor(file); editor.getInternalSourceViewer().setSelectedRange(cursor, 0); editor.getInternalSourceViewer().getTextWidget().setFocus(); return editor; }
protected XtextEditor openEditor(String content) throws Exception { int cursor = content.indexOf('|'); String fileExtension = getFileExtension(); IFile file = createFile("foo/myfile" + files.size() + "." + fileExtension, content.replace("|", "")); files.add(file); XtextEditor editor = openEditor(file); editor.getInternalSourceViewer().setSelectedRange(cursor, 0); editor.getInternalSourceViewer().getTextWidget().setFocus(); return editor; }
public void removeVerifyListener(VerifyListener listener) { ISourceViewer sourceViewer = currentEditor.getInternalSourceViewer(); StyledText widget = sourceViewer.getTextWidget(); if (widget != null) widget.removeVerifyListener(listener); }
protected XtextEditor openEditor(String string) throws Exception { int cursor = string.indexOf('|'); String fileExtension = getFileExtension(); IFile file = createFile("foo/myfile" + files.size() + "." + fileExtension, string.replace("|", "")); files.add(file); XtextEditor editor = openEditor(file); editor.getInternalSourceViewer().setSelectedRange(cursor, 0); editor.getInternalSourceViewer().getTextWidget().setFocus(); return editor; }
protected void pasteText(XtextEditor editor, String text) throws Exception { StyledText textWidget = editor.getInternalSourceViewer().getTextWidget(); Point selection = textWidget.getSelection(); Event event = new Event(); event.start = selection.x; event.end = selection.y; event.text = text; event.keyCode = KeyLookupFactory.getDefault().getCtrl(); textWidget.notifyListeners(SWT.KeyDown, event); Method sendKeyEvent = textWidget.getClass().getDeclaredMethod("sendKeyEvent", Event.class); sendKeyEvent.setAccessible(true); sendKeyEvent.invoke(textWidget, event); }
/** * @since 2.1 protected */ protected void gotoSelectedElement() { Object selectedElement = getSelectedElement(); if (selectedElement != null) { dispose(); if (selectedElement instanceof IOutlineNode) { elementOpener.open((IOutlineNode) selectedElement, xtextEditor.getInternalSourceViewer()); } } }
protected void pressKey(XtextEditor editor, char c) throws Exception { StyledText textWidget = editor.getInternalSourceViewer().getTextWidget(); Event e = new Event(); e.character = c; e.type = SWT.KeyDown; e.doit = true; //XXX Hack! if (c == SWT.ESC) { e.keyCode = 27; } textWidget.notifyListeners(SWT.KeyDown, e); }
protected void pasteText(XtextEditor editor, String text) throws Exception { StyledText textWidget = editor.getInternalSourceViewer().getTextWidget(); Point selection = textWidget.getSelection(); Event event = new Event(); event.start = selection.x; event.end = selection.y; event.text = text; event.keyCode = KeyLookupFactory.getDefault().getCtrl(); textWidget.notifyListeners(SWT.KeyDown, event); Method sendKeyEvent = textWidget.getClass().getDeclaredMethod("sendKeyEvent", Event.class); sendKeyEvent.setAccessible(true); sendKeyEvent.invoke(textWidget, event); }
protected void pressKey(XtextEditor editor, char c) throws Exception { StyledText textWidget = editor.getInternalSourceViewer().getTextWidget(); Event e = new Event(); e.character = c; e.type = SWT.KeyDown; e.doit = true; //XXX Hack! if (c == SWT.ESC) { e.keyCode = 27; } textWidget.notifyListeners(SWT.KeyDown, e); }
protected void pressKey(XtextEditor editor, char c) throws Exception { StyledText textWidget = editor.getInternalSourceViewer().getTextWidget(); Event e = new Event(); e.character = c; e.type = SWT.KeyDown; e.doit = true; //XXX Hack! if (c == SWT.ESC) { e.keyCode = 27; } textWidget.notifyListeners(SWT.KeyDown, e); } }
protected void updateImageAndRegisterListener() { defaultImage = editor.getDefaultImage(); updateEditorImage(editor); annotationModel = editor.getInternalSourceViewer().getAnnotationModel(); if (annotationModel != null) annotationModel.addAnnotationModelListener(this); }
public LinkedPosition getCurrentLinkedPosition() { Point selection = editor.getInternalSourceViewer().getSelectedRange(); int start = selection.x; int end = start + selection.y; LinkedPosition[] positions = linkedPositionGroup.getPositions(); for (int i = 0; i < positions.length; i++) { LinkedPosition position = positions[i]; if (position.includes(start) && position.includes(end)) return position; } return null; }
protected void selectText(XtextEditor editor,int relativeToCurrentOffset,int length) throws Exception { ITextSelection selection = (ITextSelection) editor.getSelectionProvider().getSelection(); editor.getInternalSourceViewer().setSelectedRange(selection.getOffset()+relativeToCurrentOffset, length); }
public void startRecording(XtextEditor editor) { this.editor = editor; ISourceViewer viewer = editor.getInternalSourceViewer(); if (viewer instanceof ITextViewerExtension6) { IUndoManager undoManager = ((ITextViewerExtension6) viewer).getUndoManager(); if (undoManager instanceof IUndoManagerExtension) { IUndoManagerExtension undoManagerExtension = (IUndoManagerExtension) undoManager; IUndoContext undoContext = undoManagerExtension.getUndoContext(); IOperationHistory operationHistory = OperationHistoryFactory.getOperationHistory(); startingUndoOperation = operationHistory.getUndoOperation(undoContext); } } }
protected void selectText(XtextEditor editor,int relativeToCurrentOffset,int length) throws Exception { ITextSelection selection = (ITextSelection) editor.getSelectionProvider().getSelection(); editor.getInternalSourceViewer().setSelectedRange(selection.getOffset()+relativeToCurrentOffset, length); }
protected void restoreOriginalSelection() { ISelection originalSelection = renameElementContext.getTriggeringEditorSelection(); if (originalSelection instanceof ITextSelection) { getXtextEditor().getInternalSourceViewer().setSelectedRange( ((ITextSelection) originalSelection).getOffset(), ((ITextSelection) originalSelection).getLength()); } }
public Object execute(ExecutionEvent event) throws ExecutionException { XtextEditor xtextEditor = EditorUtils.getActiveXtextEditor(event); if (xtextEditor != null) { ITextSelection selection = (ITextSelection) xtextEditor.getSelectionProvider().getSelection(); IRegion region = new Region(selection.getOffset(), selection.getLength()); ISourceViewer internalSourceViewer = xtextEditor.getInternalSourceViewer(); IHyperlink[] hyperlinks = getDetector().detectHyperlinks(internalSourceViewer, region, false); if (hyperlinks != null && hyperlinks.length > 0) { IHyperlink hyperlink = hyperlinks[0]; hyperlink.open(); } } return null; }