diff options
author | Julius Härtl <jus@bitgrid.net> | 2019-10-28 14:22:03 +0300 |
---|---|---|
committer | Julius Härtl <jus@bitgrid.net> | 2019-11-04 21:36:50 +0300 |
commit | 4438f21b60b85502885fd7ad6d4b39aa9a0f26b9 (patch) | |
tree | 8174e74ad64907cf661c1bc6aa280a6dedb221e7 /js/highlight/stylus.js.map | |
parent | bb27d1f9dda35eebcff3101fb14b38acf8e0736b (diff) |
Autohide only for rich workspaces
Signed-off-by: Julius Härtl <jus@bitgrid.net>
Diffstat (limited to 'js/highlight/stylus.js.map')
0 files changed, 0 insertions, 0 deletions