To do so, we need to always save the config file on plugin
cleanup/shutdown and move the configuration save logic to
its own function.
Closes #667.
You can view, comment on, or merge this pull request online at:
https://github.com/geany/geany-plugins/pull/680
-- Commit Summary --
* SpellChe
The user can now select from two new context menu items to either create a new
file or a new directory on the current selected position in the file tree. See
#660.
This PR also includes a new function for the utils lib which is required for
the new functionality in the workbench plugin.
You can
Can we increase the margin width? Arguably, when someone zooms in source code
text he probably also wants the line numbers and icons to be bigger.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/gean
@kugel- not quite sure what you mean, this sets the margin width to 0.88 times
the line height already.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1738#issuecomment-359346402