File tree Expand file tree Collapse file tree 2 files changed +2
-11
lines changed
jabgui/src/main/java/org/jabref/gui/util Expand file tree Collapse file tree 2 files changed +2
-11
lines changed Original file line number Diff line number Diff line change @@ -47,7 +47,7 @@ public MarkdownTextFlow(Pane parent) {
47
47
* @param markdownText The Markdown text to render. If null or empty, the TextFlow will be cleared.
48
48
*/
49
49
public void setMarkdown (String markdownText ) {
50
- this .clear ();
50
+ this .clearSelection ();
51
51
needsLineBreak = false ;
52
52
53
53
if (markdownText == null || markdownText .trim ().isEmpty ()) {
Original file line number Diff line number Diff line change @@ -60,9 +60,6 @@ public SelectableTextFlow(Pane parent) {
60
60
});
61
61
}
62
62
63
- /**
64
- * Copy selected text.
65
- */
66
63
public void copySelectedText () {
67
64
if (startHit .isEmpty () || endHit .isEmpty ()) {
68
65
return ;
@@ -79,9 +76,6 @@ public void copySelectedText() {
79
76
}
80
77
}
81
78
82
- /**
83
- * Select all text in the TextFlow.
84
- */
85
79
public void selectAll () {
86
80
if (getChildren ().isEmpty ()) {
87
81
return ;
@@ -91,10 +85,7 @@ public void selectAll() {
91
85
updateSelectionHighlight ();
92
86
}
93
87
94
- /**
95
- * Clears selection.
96
- */
97
- public void clear () {
88
+ public void clearSelection () {
98
89
getChildren ().clear ();
99
90
startHit = Optional .empty ();
100
91
endHit = Optional .empty ();
You can’t perform that action at this time.
0 commit comments