diff options
| author | ZenWalker <[email protected]> | 2017-09-02 02:05:31 +0200 |
|---|---|---|
| committer | ZenWalker <[email protected]> | 2017-09-02 02:27:57 +0200 |
| commit | a8cc3156edb422eada7d7fd31467424835c5c809 (patch) | |
| tree | 0f55cf2fa94c9fc5244b34f6209d3c64b7c1078c /plugins/externaltools/data/run-command.tool.in | |
| parent | cdd2a58cbd2521b7fbf89df2d321381c0df83a7e (diff) | |
| download | pluma-a8cc3156edb422eada7d7fd31467424835c5c809.tar.bz2 pluma-a8cc3156edb422eada7d7fd31467424835c5c809.tar.xz | |
add gsettings key to hide/show(default) tabs with the side pane
Diffstat (limited to 'plugins/externaltools/data/run-command.tool.in')
0 files changed, 0 insertions, 0 deletions