| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/ |
| H A D | InlinedAnnotationDrawingStrategy.java | 81 textWidget.setLineVerticalIndent(line, 0); in draw()
151 textWidget.setStyleRange(style); in drawAsLeftOf1stCharacter()
191 textWidget.setStyleRange(newStyle); in drawAsLeftOf1stCharacter()
205 gc.setFont(textWidget.getFont()); in drawAsLeftOf1stCharacter()
218 … if (textWidget.getSelection().x <= widgetOffset && textWidget.getSelection().y > widgetOffset) { in drawAsLeftOf1stCharacter()
228 textWidget.setStyleRange(style); in drawAsLeftOf1stCharacter()
246 textWidget.setStyleRange(style); in drawAsRightOfPreviousCharacter()
274 textWidget.setStyleRange(newStyle); in drawAsRightOfPreviousCharacter()
286 gc.setFont(textWidget.getFont()); in drawAsRightOfPreviousCharacter()
300 …if (textWidget.getSelection().x <= toRedrawCharOffset && textWidget.getSelection().y > toRedrawCha… in drawAsRightOfPreviousCharacter()
[all …]
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.jface.text/src/org/eclipse/jface/text/ |
| H A D | CursorLinePainter.java | 78 StyledText textWidget= fViewer.getTextWidget(); in lineGetBackground() local
79 if (textWidget != null) { in lineGetBackground()
81 int caret= textWidget.getCaretOffset(); in lineGetBackground()
175 StyledText textWidget= fViewer.getTextWidget(); in drawHighlightLine() local
178 int charCount= textWidget.getCharCount(); in drawHighlightLine()
183 int width= textWidget.getClientArea().width + textWidget.getHorizontalPixel(); in drawHighlightLine()
188 height= textWidget.getLineHeight(widgetOffset); in drawHighlightLine()
232 StyledText textWidget= fViewer.getTextWidget(); in paint() local
235 if (hasMultiLineSelection(textWidget)) { in paint()
242 textWidget.addLineBackgroundListener(this); in paint()
[all …]
|
| H A D | JFaceTextUtil.java | 81 …public static int computeLineHeight(StyledText textWidget, int startLine, int endLine, int lineCou… in computeLineHeight() argument
82 return getLinePixel(textWidget, endLine) - getLinePixel(textWidget, startLine); in computeLineHeight()
186 StyledText textWidget= viewer.getTextWidget(); in getPartialBottomIndex() local
187 int widgetBottom= getPartialBottomIndex(textWidget); in getPartialBottomIndex()
279 public static int getHiddenTopLinePixels(StyledText textWidget) { in getHiddenTopLinePixels() argument
280 int top= getPartialTopIndex(textWidget); in getHiddenTopLinePixels()
281 return -textWidget.getLinePixel(top); in getHiddenTopLinePixels()
287 public static int getLinePixel(StyledText textWidget, int line) { in getLinePixel() argument
288 return textWidget.getLinePixel(line); in getLinePixel()
294 public static int getLineIndex(StyledText textWidget, int y) { in getLineIndex() argument
[all …]
|
| /dports/lang/smalltalk/smalltalk-3.2.5/packages/visualgst/Text/ |
| H A D | GtkFindWidget.st | 68 lastPosition := textWidget hasSelection
69 ifTrue: [ textWidget cursorPosition + 2 ]
70 ifFalse: [ textWidget cursorPosition + 1 ].
71 lastPosition > textWidget text size ifTrue: [ lastPosition := 1 ].
73 … ifNil: [ (int := self searchFrom: 1) ifNil: [ int := textWidget cursorPosition + 1 to: textWidget…
74 textWidget selectRange: int first - 1 bound: int last.
81 lastPosition := textWidget hasSelection
82 ifTrue: [ textWidget cursorPosition ]
83 ifFalse: [ textWidget cursorPosition + 1 ].
86 …il: [ (int := self searchBackFrom: textWidget text size) ifNil: [ int := textWidget cursorPosition…
[all …]
|
| H A D | GtkReplaceWidget.st | 54 textWidget hasSelection ifFalse: [ ^ self ].
55 i := textWidget iterOfSelectedText first getOffset.
56 textWidget cut.
57 iter := textWidget buffer getIterAtOffset: i.
58 …textWidget buffer insertInteractive: iter text: replaceWidget getText len: replaceWidget getText s…
65 textWidget replace: entry getText by: replaceWidget getText
|
| /dports/net-p2p/vuze/vuze-5.7.4.0_2/com/aelitis/azureus/ui/swt/skin/ |
| H A D | SWTSkinObjectTextbox.java | 54 private Text textWidget; field in SWTSkinObjectTextbox
104 textWidget = new Text(createOn, style); in SWTSkinObjectTextbox()
107 textWidget = bubbleTextBox.getTextWidget(); in SWTSkinObjectTextbox()
111 textWidget.addModifyListener(new ModifyListener() { in SWTSkinObjectTextbox()
113 text = textWidget.getText(); in SWTSkinObjectTextbox()
119 textWidget.setMessage(message); in SWTSkinObjectTextbox()
147 if (textWidget != null && !textWidget.isDisposed()) { in setText()
148 textWidget.setText(val == null ? "" : val); in setText()
161 return textWidget; in getTextControl()
170 textWidget.setFont(existingFont); in updateFont()
[all …]
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.jface.text/src/org/eclipse/jface/text/source/ |
| H A D | VisibleLinesTracker.java | 71 StyledText textWidget= viewer.getTextWidget(); in paintControl() local
74 oldWidgetBottom= JFaceTextUtil.getPartialBottomIndex(textWidget); in paintControl()
76 oldBottomPixel= JFaceTextUtil.getLinePixel(textWidget, oldWidgetBottom); in paintControl()
79 int newWidgetBottom= JFaceTextUtil.getPartialBottomIndex(textWidget); in paintControl()
81 int newBottomPixel= JFaceTextUtil.getLinePixel(textWidget, newWidgetBottom); in paintControl()
86 handlers.forEach(handler -> handler.accept(textWidget)); in paintControl()
98 StyledText textWidget= viewer != null ? viewer.getTextWidget() : null; in track() local
99 if (textWidget == null) { in track()
105 textWidget.setData(DATA_KEY, tracker); in track()
118 StyledText textWidget= viewer != null ? viewer.getTextWidget() : null; in untrack() local
[all …]
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.swt/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/ |
| H A D | DialogTab.java | 42 Text textWidget; field in DialogTab
160 textWidget.append ("getRGBs() =" + Text.DELIMITER); in createButtonSelected()
164 textWidget.append ("\t" + rgbColor + Text.DELIMITER); in createButtonSelected()
167 textWidget.append (Text.DELIMITER); in createButtonSelected()
205 textWidget.append ("\t" + file + Text.DELIMITER); in createButtonSelected()
207 textWidget.append (Text.DELIMITER); in createButtonSelected()
228 textWidget.append ("\t" + font + Text.DELIMITER); in createButtonSelected()
258 textWidget.append (Text.DELIMITER); in createButtonSelected()
299 textWidget.append (Text.DELIMITER + Text.DELIMITER); in createButtonSelected()
510 textWidget.setLayoutData (gridData); in createExampleWidgets()
[all …]
|
| /dports/textproc/goldendict/goldendict-73ec1b5/ |
| H A D | mainstatusbar.cc | 15 textWidget = new QLabel( QString(), this ); in MainStatusBar()
16 textWidget->setObjectName( "text" ); in MainStatusBar()
17 textWidget->setFont( QApplication::font( "QStatusBar" ) ); in MainStatusBar()
18 textWidget->setSizePolicy( QSizePolicy::Fixed, QSizePolicy::Fixed ); in MainStatusBar()
36 layout->addWidget( textWidget ); in MainStatusBar()
52 textWidget->setText( backgroungMessage ); in clearMessage()
68 textWidget->setText( backgroungMessage ); in setBackgroundMessage()
75 textWidget->setText( message = str ); in showMessage()
91 if ( !textWidget->text().isEmpty() ) in refresh()
97 picWidget->setFixedSize( textWidget->height(), textWidget->height() ); in refresh()
|
| /dports/www/firefox-esr/firefox-91.8.0/gfx/angle/checkout/src/libANGLE/ |
| H A D | OverlayWidgets.cpp | 177 TextWidgetData *textWidget,
207 TextWidgetData *textWidget,
213 TextWidgetData *textWidget,
222 TextWidgetData *textWidget,
239 TextWidgetData *textWidget, in AppendTextCommon() argument
243 GetWidgetColor(widget->color, textWidget->color); in AppendTextCommon()
244 GetTextFontSize(widget->fontSize, textWidget->fontSize); in AppendTextCommon()
245 GetTextString(text, textWidget->text); in AppendTextCommon()
272 TextWidgetData *textWidget, in AppendRunningGraphCommon() argument
330 TextWidgetData *textWidget, in AppendFPS() argument
[all …]
|
| /dports/www/firefox/firefox-99.0/gfx/angle/checkout/src/libANGLE/ |
| H A D | OverlayWidgets.cpp | 177 TextWidgetData *textWidget,
207 TextWidgetData *textWidget,
213 TextWidgetData *textWidget,
222 TextWidgetData *textWidget,
239 TextWidgetData *textWidget, in AppendTextCommon() argument
243 GetWidgetColor(widget->color, textWidget->color); in AppendTextCommon()
244 GetTextFontSize(widget->fontSize, textWidget->fontSize); in AppendTextCommon()
245 GetTextString(text, textWidget->text); in AppendTextCommon()
272 TextWidgetData *textWidget, in AppendRunningGraphCommon() argument
330 TextWidgetData *textWidget, in AppendFPS() argument
[all …]
|
| /dports/mail/thunderbird/thunderbird-91.8.0/gfx/angle/checkout/src/libANGLE/ |
| H A D | OverlayWidgets.cpp | 177 TextWidgetData *textWidget,
207 TextWidgetData *textWidget,
213 TextWidgetData *textWidget,
222 TextWidgetData *textWidget,
239 TextWidgetData *textWidget, in AppendTextCommon() argument
243 GetWidgetColor(widget->color, textWidget->color); in AppendTextCommon()
244 GetTextFontSize(widget->fontSize, textWidget->fontSize); in AppendTextCommon()
245 GetTextString(text, textWidget->text); in AppendTextCommon()
272 TextWidgetData *textWidget, in AppendRunningGraphCommon() argument
330 TextWidgetData *textWidget, in AppendFPS() argument
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/angle/src/libANGLE/ |
| H A D | OverlayWidgets.cpp | 177 TextWidgetData *textWidget,
207 TextWidgetData *textWidget,
213 TextWidgetData *textWidget,
222 TextWidgetData *textWidget,
239 TextWidgetData *textWidget, in AppendTextCommon() argument
243 GetWidgetColor(widget->color, textWidget->color); in AppendTextCommon()
244 GetTextFontSize(widget->fontSize, textWidget->fontSize); in AppendTextCommon()
245 GetTextString(text, textWidget->text); in AppendTextCommon()
272 TextWidgetData *textWidget, in AppendRunningGraphCommon() argument
330 TextWidgetData *textWidget, in AppendFPS() argument
[all …]
|
| /dports/lang/spidermonkey78/firefox-78.9.0/gfx/angle/checkout/src/libANGLE/ |
| H A D | OverlayWidgets.cpp | 177 TextWidgetData *textWidget,
207 TextWidgetData *textWidget,
213 TextWidgetData *textWidget,
222 TextWidgetData *textWidget,
239 TextWidgetData *textWidget, in AppendTextCommon() argument
243 GetWidgetColor(widget->color, textWidget->color); in AppendTextCommon()
244 GetTextFontSize(widget->fontSize, textWidget->fontSize); in AppendTextCommon()
245 GetTextString(text, textWidget->text); in AppendTextCommon()
272 TextWidgetData *textWidget, in AppendRunningGraphCommon() argument
330 TextWidgetData *textWidget, in AppendFPS() argument
[all …]
|
| /dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/ |
| H A D | LinePainter.java | 51 StyledText textWidget = fViewer.getTextWidget(); in lineGetBackground() local
52 if (textWidget != null) { in lineGetBackground()
54 int caret = textWidget.getCaretOffset(); in lineGetBackground()
60 event.lineBackground = textWidget.getBackground(); in lineGetBackground()
104 StyledText textWidget = fViewer.getTextWidget(); in drawHighlightLine() local
112 Point upperLeft = textWidget.getLocationAtOffset(delta); in drawHighlightLine()
113 int width = textWidget.getClientArea().width in drawHighlightLine()
114 + textWidget.getHorizontalPixel(); in drawHighlightLine()
115 int height = textWidget.getLineHeight(); in drawHighlightLine()
116 textWidget.redraw(upperLeft.x, upperLeft.y, width, height, false); in drawHighlightLine()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.debug/org.eclipse.ui.console/src/org/eclipse/ui/console/ |
| H A D | TextConsoleViewer.java | 140 StyledText textWidget = getTextWidget(); in scrollToEndOfDocument() local
141 if (textWidget != null && !textWidget.isDisposed()) { in scrollToEndOfDocument()
160 StyledText textWidget = getTextWidget(); in checkEndOfDocument() local
161 if (textWidget != null && !textWidget.isDisposed()) { in checkEndOfDocument()
178 StyledText textWidget = getTextWidget(); in isAutoScrollLockNotApplicable() local
179 if (textWidget != null && !textWidget.isDisposed()) { in isAutoScrollLockNotApplicable()
180 return (textWidget.getLineCount() <= textWidget.getVerticalBar().getIncrement()); in isAutoScrollLockNotApplicable()
189 StyledText textWidget = getTextWidget(); in checkStartOfDocument() local
190 if (textWidget != null && !textWidget.isDisposed()) { in checkStartOfDocument()
784 StyledText textWidget = getTextWidget(); in internalRevealRange() local
[all …]
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/angle/src/libANGLE/ |
| H A D | OverlayWidgets.cpp | 175 TextWidgetData *textWidget,
190 TextWidgetData *textWidget,
205 TextWidgetData *textWidget,
210 TextWidgetData *textWidget,
229 TextWidgetData *textWidget,
248 GetWidgetColor(widget->color, textWidget->color); in AppendTextCommon()
249 GetTextFontSize(widget->fontSize, textWidget->fontSize); in AppendTextCommon()
250 GetTextString(text, textWidget->text); in AppendTextCommon()
276 TextWidgetData *textWidget, in AppendFPS() argument
373 TextWidgetData *textWidget, in AppendVulkanSecondaryCommandBufferPoolWaste() argument
[all …]
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.e4.ui.dialogs/src/org/eclipse/e4/ui/internal/dialogs/about/ |
| H A D | AboutDialogE4.java | 46 private StyledText textWidget; field in AboutDialogE4
138 …textWidget = new StyledText(textComposite, SWT.MULTI | SWT.WRAP | SWT.BORDER | SWT.V_SCROLL | SWT.… in createTextWidget()
139 textWidget.setFont(parent.getFont()); in createTextWidget()
140 textWidget.setText(aboutItem.text()); in createTextWidget()
141 textWidget.setBackground(background); in createTextWidget()
142 textWidget.setForeground(foreground); in createTextWidget()
143 textWidget.setAlwaysShowScrollBars(false); in createTextWidget()
145 aboutText = new AboutText(textWidget, () -> aboutItem); in createTextWidget()
149 GridDataFactory.swtDefaults().align(SWT.FILL, SWT.BEGINNING).grab(true, true).applyTo(textWidget); in createTextWidget()
188 textWidget.setMenu(popupManager.createContextMenu(textWidget)); in createTextMenu()
[all …]
|
| /dports/audio/praat/praat-6.2.03/sys/ |
| H A D | TextEditor.cpp | 86 GuiText_setString (my textWidget, text.get()); in openDocument()
390 GuiText_undo (my textWidget); in menu_cb_undo()
394 GuiText_redo (my textWidget); in menu_cb_redo()
402 GuiText_copy (my textWidget); in menu_cb_copy()
406 GuiText_paste (my textWidget); in menu_cb_paste()
410 GuiText_remove (my textWidget); in menu_cb_erase()
449 GuiText_scrollToSelection (my textWidget); in do_find()
461 GuiText_scrollToSelection (my textWidget); in do_find()
482 GuiText_scrollToSelection (my textWidget); in do_replace()
582 GuiText_scrollToSelection (my textWidget); in menu_cb_goToLine()
[all …]
|
| /dports/net-p2p/vuze/vuze-5.7.4.0_2/org/gudy/azureus2/ui/swt/components/ |
| H A D | BubbleTextBox.java | 41 private Text textWidget; field in BubbleTextBox
65 textWidget = new Text(cBubble, style & ~(SWT.BORDER | SWT.SEARCH)); in BubbleTextBox()
72 Utils.setLayoutData(textWidget, fd); in BubbleTextBox()
87 e.gc.setBackground(textWidget.getBackground()); in BubbleTextBox()
122 boolean textIsBlank = textWidget.getText().length() == 0; in BubbleTextBox()
154 textWidget.setText(""); in BubbleTextBox()
161 textWidget.addPaintListener(new PaintListener() { in BubbleTextBox()
165 Color current_bg = textWidget.getBackground(); in BubbleTextBox()
176 textWidget.addModifyListener(new ModifyListener() { in BubbleTextBox()
179 text = textWidget.getText(); in BubbleTextBox()
[all …]
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.jface.text.tests/src/org/eclipse/jface/text/tests/source/inlined/ |
| H A D | AnnotationOnTabTest.java | 64 StyledText textWidget= sourceViewer.getTextWidget(); in testTextBoundsMatchPaintedArea() local
65 textWidget.setFont(JFaceResources.getTextFont()); in testTextBoundsMatchPaintedArea()
83 return textWidget.isVisible() && painter.wasPainted(); in testTextBoundsMatchPaintedArea()
85 }.waitForCondition(textWidget.getDisplay(), 2000)); in testTextBoundsMatchPaintedArea()
86 DisplayHelper.sleep(textWidget.getDisplay(), 1000); in testTextBoundsMatchPaintedArea()
87 int referenceIndex = textWidget.getText().indexOf("reference"); in testTextBoundsMatchPaintedArea()
88 Rectangle referenceBounds = textWidget.getTextBounds(referenceIndex, referenceIndex); in testTextBoundsMatchPaintedArea()
89 Rectangle annotatedCharactedBounds = textWidget.getTextBounds(annotationIndex, annotationIndex); in testTextBoundsMatchPaintedArea()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/internal/views/minimap/ |
| H A D | MultiPageMinimapPage.java | 51 Control textWidget = fTextWidgetMap.get(selectedPage); in MultiPageMinimapPage()
52 if (textWidget != null) { in MultiPageMinimapPage()
53 fPageBook.showPage(textWidget); in MultiPageMinimapPage()
65 textWidget = minimapPage.getControl(); in MultiPageMinimapPage()
66 fTextWidgetMap.put(selectedPage, textWidget); in MultiPageMinimapPage()
67 fPageBook.showPage(textWidget); in MultiPageMinimapPage()
|
| /dports/x11-toolkits/gnocl/gnocl-0.9.96/demo/ |
| H A D | test-textSpawn.tcl | 30 proc splitView {textWidget toolBar} {
31 $textWidget save /home/wjgiddings/Desktop/test
39 set parent [$textWidget parent]
42 $paned configure -children [list $textWidget $::sibling]
58 proc unSplitView { textWidget } { argument
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.debug/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/actions/ |
| H A D | PopupDisplayAction.java | 44 private void showPopup(StyledText textWidget) { in showPopup() argument
50 DebugPopup displayPopup = new DisplayPopup(getShell(), textWidget); in showPopup()
56 public DisplayPopup(Shell shell, StyledText textWidget) { in DisplayPopup() argument
57 super(shell, getPopupAnchor(textWidget), ACTION_DEFINITION_ID); in DisplayPopup()
114 final StyledText textWidget = EvaluateAction.getStyledText(part); in displayStringResult() local
115 if (textWidget == null) { in displayStringResult()
123 showPopup(textWidget); in displayStringResult()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui refactoring/org/eclipse/jdt/internal/ui/refactoring/reorg/ |
| H A D | RenameInformationPopup.java | 110 final StyledText textWidget= viewer.getTextWidget(); in start() local
111 textWidget.addControlListener(this); in start()
112 textWidget.addMouseListener(this); in start()
113 textWidget.addKeyListener(this); in start()
121 if (! textWidget.isDisposed()) { in start()
429 Rectangle eArea= Geometry.toDisplay(textWidget, textWidget.getClientArea()); in updateVisibility()
488 StyledText textWidget= viewer.getTextWidget(); in computePopupLocation() local
497 Point dPos= textWidget.toDisplay(pos); in computePopupLocation()
515 StyledText textWidget= viewer.getTextWidget(); in computePopupLocation() local
523 pos.y+= textWidget.getLineHeight(widgetOffset); in computePopupLocation()
[all …]
|