diff options
author | jgmdev <jgmdev@gmail.com> | 2021-06-08 00:45:54 -0400 |
---|---|---|
committer | jgmdev <jgmdev@gmail.com> | 2021-06-08 00:45:54 -0400 |
commit | ae54c12ce120a4169012a511f44d4b2916b657f6 (patch) | |
tree | 96b42a2fb44ae2727c2e9142abe3a46213782086 /plugins/language_java.lua | |
parent | 6b541da4c773eb7f44caab69c06f37b085bc6834 (diff) | |
download | lite-xl-plugins-ae54c12ce120a4169012a511f44d4b2916b657f6.tar.gz lite-xl-plugins-ae54c12ce120a4169012a511f44d4b2916b657f6.zip |
[navigate] Remove not needed system.window_has_focus() check.
Diffstat (limited to 'plugins/language_java.lua')
0 files changed, 0 insertions, 0 deletions