Adjust the width of the side panel of MindTouch Core 10.1.3
If you want to adjust the width of the side panel of MindTouch Core (v10.1.3), you need to do a little hack:
1. Open this file /path/to/dekiwiki/deki/plugins/nav_pane/nav_pane.php:
$ nano /path/to/dekiwiki/deki/plugins/nav_pane/nav_pane.php
2. Go to line 66, change the number (in red color) to whatever you like:
...
$width = isset($wgNavPaneWidth) ? $wgNavPaneWidth : 2600;
...
1. Open this file /path/to/dekiwiki/deki/plugins/nav_pane/nav_pane.php:
$ nano /path/to/dekiwiki/deki/plugins/nav_pane/nav_pane.php
2. Go to line 66, change the number (in red color) to whatever you like:
...
$width = isset($wgNavPaneWidth) ? $wgNavPaneWidth : 2600;
...
Neat!