diff options
author | Tomasz Chabora <kobewi4e@gmail.com> | 2019-12-30 23:42:39 +0100 |
---|---|---|
committer | Tomasz Chabora <kobewi4e@gmail.com> | 2019-12-30 23:42:39 +0100 |
commit | 54f70b6b506ee460e6ef2f986158fe5abe696ae6 (patch) | |
tree | 4346f8887e8e778aee2a1998e193071dc0573405 /editor/editor_plugin.h | |
parent | 5fa1905131bc20e8a4a939d0edf8370091c88a50 (diff) |
Fix argument type in set_follow_focus()
Diffstat (limited to 'editor/editor_plugin.h')
0 files changed, 0 insertions, 0 deletions