Details
- 
    Type:
Task
 - 
    Status: Closed
 - 
    Priority:
Minor
 - 
    Resolution: Fixed
 - 
    Affects Version/s: 2.11.1.0
 - 
    Component/s: Dev and Dep, gui
 - 
    Labels:None
 
- 
        Sprint:2.11.1.1 Release
 
Description
                    Allow the user to select/change the log level being reported by Cache.log into the Java Console.
This is normally done by setting the logs.Jalview.level property in .jalview_properties (manual text edit) which becomes a permanent setting.
This addition will allow a user to easily set a DEBUG log level in the Java Console that is non-permanent, and a Copy to Clipboard button which will make it easy for the user to email log output.
This is normally done by setting the logs.Jalview.level property in .jalview_properties (manual text edit) which becomes a permanent setting.
This addition will allow a user to easily set a DEBUG log level in the Java Console that is non-permanent, and a Copy to Clipboard button which will make it easy for the user to email log output.