Skip to content

Commit

Permalink
even more logging for debug
Browse files Browse the repository at this point in the history
  • Loading branch information
dzmipt committed Jan 5, 2024
1 parent ac8c75b commit d537b3e
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 0 deletions.
1 change: 1 addition & 0 deletions src/studio/ui/EditorsPanel.java
Original file line number Diff line number Diff line change
Expand Up @@ -300,6 +300,7 @@ public static boolean checkAndSaveTab(EditorTab editor) {
int choice = StudioOptionPane.showYesNoCancelDialog(editor.getPane(),
editor.getTitle() + " is changed. Save changes?","Save changes?");

log.info("checkAndSaveTab choice={}", choice);
if (choice == JOptionPane.CANCEL_OPTION || choice == JOptionPane.CLOSED_OPTION) return false;

if (choice == JOptionPane.YES_OPTION) {
Expand Down
1 change: 1 addition & 0 deletions src/studio/ui/StudioWindow.java
Original file line number Diff line number Diff line change
Expand Up @@ -833,6 +833,7 @@ public void close() {
if (allWindows.size() == 1) {
quit();
} else {
log.info("SW: Before close tab");
boolean result = execute(editorTab -> editorTab.getEditorsPanel().closeTab(editorTab));
if (!result) return;
log.info("StudioWindow closing");
Expand Down

0 comments on commit d537b3e

Please sign in to comment.