JAL-3676 More explicit tooltip about resetting log level on Console close. Also clari...
authorBen Soares <b.soares@dundee.ac.uk>
Fri, 14 Aug 2020 12:01:06 +0000 (13:01 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Fri, 14 Aug 2020 12:01:06 +0000 (13:01 +0100)
resources/lang/Messages.properties
resources/lang/Messages_es.properties
src/jalview/gui/Console.java

index 8e8c2ce..ec1ef88 100644 (file)
@@ -1413,6 +1413,6 @@ label.include_linked_tooltip = Include visible {0} features<br>converted to loca
 label.features_not_shown = {0} feature(s) not shown
 label.no_features_to_sort_by = No features to sort by
 label.log_level = Log level
-label.log_level_tooltip = Temporarily set the log level for this console
+label.log_level_tooltip = Temporarily set the log level for this console. The log level will revert to {0} when this Java console is closed.
 label.copy_to_clipboard = Copy to clipboard
 label.copy_to_clipboard_tooltip = Copy all of the log text in this console to the system clipboard
index 15339e4..6bb9a21 100644 (file)
@@ -1414,6 +1414,6 @@ label.include_linked_tooltip = Incluir caracter
 label.features_not_shown = {0} característica(s) no mostradas
 label.no_features_to_sort_by = No hay características para ordenar
 label.log_level = Nivel del registro
-label.log_level_tooltip = Establezca temporalmente el nivel de registro para esta consola
+label.log_level_tooltip = Establezca temporalmente el nivel de registro para esta consola. El nivel de registro volverá a {0} cuando se cierre esta consola de Java.
 label.copy_to_clipboard = Copiar en el portapapeles
 label.copy_to_clipboard_tooltip = Copie todo el texto de registro en esta consola al portapapeles del sistema
index a493640..6cd8106 100644 (file)
@@ -100,7 +100,9 @@ public class Console extends WindowAdapter
 
   private int MIN_HEIGHT = 250;
 
-  private JComboBox logLevelCombo = new JComboBox();
+  private JComboBox<Level> logLevelCombo = new JComboBox<Level>();
+
+  protected Level startingLogLevel = Level.INFO;
 
   public Console()
   {
@@ -173,6 +175,9 @@ public class Console extends WindowAdapter
     // logLevelCombo.addItem(Level.ERROR);
     // logLevelCombo.addItem(Level.FATAL);
     // logLevelCombo.addItem(Level.OFF);
+    // set startingLogLevel
+    startingLogLevel = Cache.log == null ? Level.INFO
+            : Cache.log.getLevel();
     setChosenLogLevelCombo();
     logLevelCombo.addActionListener(new ActionListener()
     {
@@ -197,10 +202,10 @@ public class Console extends WindowAdapter
     logLevelPanel.setAlignmentX(JPanel.LEFT_ALIGNMENT);
     logLevelPanel.add(logLevelLabel);
     logLevelPanel.add(logLevelCombo);
-    logLevelLabel.setToolTipText(
-            MessageManager.getString("label.log_level_tooltip"));
-    logLevelCombo.setToolTipText(
-            MessageManager.getString("label.log_level_tooltip"));
+    String logLevelTooltip = MessageManager.formatMessage(
+            "label.log_level_tooltip", startingLogLevel.toString());
+    logLevelLabel.setToolTipText(logLevelTooltip);
+    logLevelCombo.setToolTipText(logLevelTooltip);
 
     GridBagConstraints gbc = new GridBagConstraints();
     gbc.gridx = 0;
@@ -254,22 +259,25 @@ public class Console extends WindowAdapter
 
   private void setChosenLogLevelCombo()
   {
-    Level currentLogLevel = Cache.log == null ? Level.INFO
-            : Cache.log.getLevel();
-    logLevelCombo.setSelectedItem(currentLogLevel);
-    if (!logLevelCombo.getSelectedItem().equals(currentLogLevel)) // currentLogLevel
-                                                                  // not in list
+    setChosenLogLevelCombo(startingLogLevel);
+  }
+
+  private void setChosenLogLevelCombo(Level setLogLevel)
+  {
+    logLevelCombo.setSelectedItem(setLogLevel);
+    if (!logLevelCombo.getSelectedItem().equals(setLogLevel))
     {
-      if (currentLogLevel != null && currentLogLevel instanceof Level)
+      // setLogLevel not (yet) in list
+      if (setLogLevel != null && setLogLevel instanceof Level)
       {
         // add new item to list (might be set via .jalview_properties)
         boolean added = false;
         for (int i = 0; i < logLevelCombo.getItemCount(); i++)
         {
           Level l = (Level) logLevelCombo.getItemAt(i);
-          if (l.isGreaterOrEqual(currentLogLevel))
+          if (l.isGreaterOrEqual(setLogLevel))
           {
-            logLevelCombo.insertItemAt(currentLogLevel, i);
+            logLevelCombo.insertItemAt(setLogLevel, i);
             added = true;
             break;
           }
@@ -277,9 +285,9 @@ public class Console extends WindowAdapter
         if (!added) // lower priority than others or some confusion -- add to
                     // end of list
         {
-          logLevelCombo.addItem(currentLogLevel);
+          logLevelCombo.addItem(setLogLevel);
         }
-        logLevelCombo.setSelectedItem(currentLogLevel);
+        logLevelCombo.setSelectedItem(setLogLevel);
       }
       else
       {
@@ -796,12 +804,10 @@ public class Console extends WindowAdapter
     }
     else
     {
-      // reset log level to user preference
+      // reset log level to what it was before
       if (Cache.log != null)
       {
-        String userLogLevel = Cache.getDefault("logs.Jalview.level",
-                Level.INFO.toString());
-        Cache.log.setLevel(Level.toLevel(userLogLevel));
+        Cache.log.setLevel(startingLogLevel);
       }
 
       unredirectStreams();