diff options
author | groud <gilles.roudiere@gmail.com> | 2018-11-03 18:36:59 +0100 |
---|---|---|
committer | groud <gilles.roudiere@gmail.com> | 2018-11-03 18:37:57 +0100 |
commit | a821de2275088ce6d4f91551459ce5bc36e21146 (patch) | |
tree | d5d379e2f084214963d2af2d09947a8cf1c7eb62 /editor/editor_data.h | |
parent | 121cead38e5ea84ec22139df02eee56d822290b7 (diff) |
Hide some RMB options in the filesystem dock when files are searched
Diffstat (limited to 'editor/editor_data.h')
0 files changed, 0 insertions, 0 deletions