diff options
author | Michal Čihař <michal@cihar.com> | 2017-11-28 15:08:41 +0300 |
---|---|---|
committer | Michal Čihař <michal@cihar.com> | 2017-11-28 15:08:49 +0300 |
commit | a2fd98d9f18a61f97fb4bd2f8efd27743b3bbee8 (patch) | |
tree | ae4b73988a1f31bea9a2c32f32f5373b13f3f29c /libraries/config.default.php | |
parent | 4f2709fe01453ec6fc9100b01cab73f81d68e94e (diff) |
Add console preferences
This will allow to use console preferences using normal userconfig
framework.
Issue #13466
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'libraries/config.default.php')
-rw-r--r-- | libraries/config.default.php | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/libraries/config.default.php b/libraries/config.default.php index 2f4db2c80a..d1f81e6ee7 100644 --- a/libraries/config.default.php +++ b/libraries/config.default.php @@ -3115,6 +3115,21 @@ $cfg['MysqlMinVersion'] = array( */ $cfg['DisableShortcutKeys'] = false; +/** + * Console configuration + * + * This is mostly meant for user preferences. + */ +$cfg['Console'] = [ + 'StartHistory' => false, + 'AlwaysExpand' => false, + 'CurrentQuery' => true, + 'EnterExecutes' => false, + 'DarkTheme' => false, + 'Mode' => 'info', + 'Height' => 92, +]; + /******************************************************************************* * Default options for transformations |