diff options
| author | Michal Čihař <michal@cihar.com> | 2017-11-28 17:33:35 +0300 |
|---|---|---|
| committer | Michal Čihař <michal@cihar.com> | 2017-11-28 17:36:08 +0300 |
| commit | 216f403c28aac70980f1a5fc83a0d6660bb94150 (patch) | |
| tree | 280bbee6a65ecb20c7422c6a81aee0d58729934b /libraries/config.default.php | |
| parent | 263722fef8f69a15976c4cf2849ccd99d2770417 (diff) | |
Store navigation width in user preferences
There is no need to have this separetely.
Issue #13466
Issue #11688
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'libraries/config.default.php')
| -rw-r--r-- | libraries/config.default.php | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/libraries/config.default.php b/libraries/config.default.php index e74e8828e0..bd30705f6a 100644 --- a/libraries/config.default.php +++ b/libraries/config.default.php @@ -1045,6 +1045,13 @@ $cfg['NavigationTreeShowProcedures'] = true; */ $cfg['NavigationTreeShowEvents'] = true; +/** + * Width of navigation panel + * + * @global boolean $cfg['NavigationWidth'] + */ +$cfg['NavigationWidth'] = 240; + /******************************************************************************* * In the main panel, at startup... */ |