From 6e7be542fbf5891c02579419873b699667e3f10e Mon Sep 17 00:00:00 2001
From: dzmipt <dz.mipt@gmail.com>
Date: Sat, 6 Jan 2024 01:02:37 +0100
Subject: [PATCH] more logging for debug

---
 src/studio/ui/EditorsPanel.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/studio/ui/EditorsPanel.java b/src/studio/ui/EditorsPanel.java
index 40037a4e..73c51f0b 100644
--- a/src/studio/ui/EditorsPanel.java
+++ b/src/studio/ui/EditorsPanel.java
@@ -297,6 +297,7 @@ public static boolean saveEditor(EditorTab editor) {
     public static boolean checkAndSaveTab(EditorTab editor) {
         if (! editor.isModified()) return true;
 
+        log.info("before checkAndSaveTab choice");
         int choice = StudioOptionPane.showYesNoCancelDialog(editor.getPane(),
                 editor.getTitle() + " is changed. Save changes?","Save changes?");