Differences
This shows you the differences between the selected revisions of the page.
| 2019-07-18 | 2019-09-16 | ||
| link update (martin) | 5.15.4 KeepingOpenWhenNoSession (martin) | ||
| Line 105: | Line 105: | ||
| | ''EditorAutoConfig'' | Result of external editor auto-configuration (H = External editor configured by user already, F = Temporary failure during auto-configuration, N = No application associated with ''.txt'' files or associated application does not exist, P = Notepad associated with ''.txt'' files, W = "Pick an app" associated with ''.txt'' files (since 5.6.2), R = User rejected auto-configuration, A = User accepted auto-configuration) | 5.2 | | | ''EditorAutoConfig'' | Result of external editor auto-configuration (H = External editor configured by user already, F = Temporary failure during auto-configuration, N = No application associated with ''.txt'' files or associated application does not exist, P = Notepad associated with ''.txt'' files, W = "Pick an app" associated with ''.txt'' files (since 5.6.2), R = User rejected auto-configuration, A = User accepted auto-configuration) | 5.2 | | ||
| | ''UsingAutoSaveWorkspace'' | Automatic saving of [[workspace|workspace]] is enabled. | 5.2 | | | ''UsingAutoSaveWorkspace'' | Automatic saving of [[workspace|workspace]] is enabled. | 5.2 | | ||
| + | | ''KeepingOpenWhenNoSession'' | Is //[[ui_pref_window#miscellaneous|Keep main window open when the last session is closed]]// enabled? | 5.15.4 | | ||
| | ''LastMonitor'' | Order number of a monitor where a main window was located the last time. | 5.2.5 | | | ''LastMonitor'' | Order number of a monitor where a main window was located the last time. | 5.2.5 | | ||
| | ''Putty'' | Name of configured PuTTY/SSH client executable (typically "putty"). | 5.2.5 | | | ''Putty'' | Name of configured PuTTY/SSH client executable (typically "putty"). | 5.2.5 | | ||