inputCmd.addControlListener(new ControlAdapter() { @Override public void controlResized(ControlEvent e) {
void install() { fViewer.addViewportListener(this); fViewer.getDocument().addDocumentListener(this); fViewer.getTextWidget().addControlListener(this); } }
void install() { StyledText editorTextWidget = fEditorViewer.getTextWidget(); fScaledFonts = new HashMap<>(); // Compute scaled font Font scaledFont = getScaledFont(editorTextWidget.getFont()); fMinimapTextWidget.setFont(scaledFont); // track changed content of styled text of the editor editorTextWidget.getContent().addTextChangeListener(this); // track changed styles of styled text of the editor fMinimapTextWidget.setBackground(editorTextWidget.getBackground()); fMinimapTextWidget.setForeground(editorTextWidget.getForeground()); if (fEditorViewer instanceof ITextViewerExtension4) { ((ITextViewerExtension4) fEditorViewer).addTextPresentationListener(this); } fEditorViewer.addTextInputListener(this); // track changed of vertical bar scroll to update highlight // Viewport. fEditorViewer.addViewportListener(this); editorTextWidget.addControlListener(this); synchTextAndStyles(); }
fPresenter= new HTMLTextPresenter(false); fText.addControlListener(new ControlAdapter() {
final ISourceViewer viewer = editor.getInternalSourceViewer(); final StyledText textWidget = viewer.getTextWidget(); textWidget.addControlListener(this); textWidget.addMouseListener(this); textWidget.addKeyListener(this);
final ISourceViewer viewer= fEditor.getViewer(); final StyledText textWidget= viewer.getTextWidget(); textWidget.addControlListener(this); textWidget.addMouseListener(this); textWidget.addKeyListener(this);
final ISourceViewer viewer= fEditor.getViewer(); final StyledText textWidget= viewer.getTextWidget(); textWidget.addControlListener(this); textWidget.addMouseListener(this); textWidget.addKeyListener(this);
fTextViewer.addTextListener(fInternalListener); fTextViewer.getTextWidget().addControlListener(new ControlAdapter() { @Override public void controlResized(ControlEvent e) {
final ISourceViewer viewer= fEditor.getViewer(); final StyledText textWidget= viewer.getTextWidget(); textWidget.addControlListener(this); textWidget.addMouseListener(this); textWidget.addKeyListener(this);
fCachedTextViewer.addTextListener(fInternalListener); fCachedTextWidget.addControlListener(new ControlAdapter() { @Override public void controlResized(ControlEvent e) {
fTextViewer.addTextListener(fInternalListener); fTextViewer.getTextWidget().addControlListener(new ControlAdapter() { @Override public void controlResized(ControlEvent e) {
fPresenter= new FallbackInformationPresenter(); fText.addControlListener(new ControlAdapter() {
fPresenter= new FallbackInformationPresenter(); fText.addControlListener(new ControlAdapter() {
fCachedTextViewer.addTextListener(fLineListener); fCachedTextWidget.addControlListener(new ControlAdapter() { @Override public void controlResized(ControlEvent e) {
fCachedTextWidget.addControlListener(new ControlAdapter() { @Override public void controlResized(ControlEvent e) {
fCachedTextWidget.addControlListener(new ControlAdapter() { @Override public void controlResized(ControlEvent e) {