8000 GUI improvements by tferr · Pull Request #56 · scijava/script-editor · GitHub
[go: up one dir, main page]
Skip to content

GUI improvements #56

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 21 commits into from
Feb 24, 2022
Merged

GUI improvements #56

Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
ea605e3
Add option for Ctrl+Space triggering auto-completion
tferr Feb 19, 2022
f2e4afd
GUI: Minor fixes
tferr Feb 21, 2022
59c408c
Improvements to File Tree
tferr Feb 21, 2022
7f9b60e
Move all FileSystemTree related commands into own class
tferr Feb 22, 2022
55aaaaa
TextEditor: Improvements to tabbed pane
tferr Feb 22, 2022
759eb45
TextEditor: Revamp menus
tferr Feb 22, 2022
1525e86
TextEditor: Code cleanup and misc improvements
tferr Feb 22, 2022
4f5c3ef
Remove hardwired settings and code cleanup
tferr Feb 22, 2022
7d1cbf4
Code cleanup + Extend preferences to new options
tferr Feb 22, 2022
42bad8c
TextEditor: Use dark theme with dark L&F + 'Mark Occurences' controls
tferr Feb 23, 2022
9c2fce6
Option for 'fallback completions'. API and code cleanup
tferr Feb 23, 2022
76f1e66
TextEditor: Add option for toggling console
tferr Feb 23, 2022
ddf3f7c
Cosmetic changes and code cleanup
tferr Feb 23, 2022
352a7ee
TextEditor: Fix font-size being reset at startup and on theme change
tferr Feb 23, 2022
f1adb16
Remember size of REPL pane across restarts
tferr Feb 23, 2022
df6f9f2
Minor corrections
tferr Feb 23, 2022
e2625ba
GUI tweaks
tferr Feb 24, 2022
7bbb378
Reinstate bookmarks (broken for many years now)
tferr Feb 24, 2022
8ea4784
Add fallbacks for auto-completion
tferr Feb 24, 2022
44a1fd1
POM: bump major/minor version
ctrueden Feb 24, 2022
ee92ec4
Avoid repeat printing of same active language
ctrueden Feb 24, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Avoid repeat printing of same active language
  • Loading branch information
@ctrueden
ctrueden committed Feb 24, 2022
commit ee92ec4034bdcb132f5ea196a64ed29b0e452cc8
10 changes: 8 additions & 2 deletions src/main/java/org/scijava/ui/swing/script/TextEditor.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -88,6 +88,7 @@
import java.util.LinkedHashMap;
import java.util.List;
import java.util.Map;
import java.util.Objects;
import java.util.Set;
import java.util.TreeMap;
import java.util.Vector;
Expand Down Expand Up @@ -1984,15 +1985,20 @@ void setLanguage(final ScriptLanguage language, final boolean addHeader) {
updateUI(true);
}

private String lastSupportStatus = null;

void updateLanguageMenu(final ScriptLanguage language) {
JMenuItem item = languageMenuItems.get(language);
if (item == null) item = noneLanguageItem;
if (!item.isSelected()) {
item.setSelected(true);
}
// print autocompletion status to console
if (getEditorPane().getSupportStatus() != null)
write(getEditorPane().getSupportStatus());
String supportStatus = getEditorPane().getSupportStatus();
if (supportStatus != null && !Objects.equals(supportStatus, lastSupportStatus)) {
write(supportStatus);
lastSupportStatus = supportStatus;
}

final boolean isRunnable = item != noneLanguageItem;
final boolean isCompileable =
Expand Down
0