[Github-comments] [geany/geany-plugins] workbench: support live update. Closes #659. (#695)

LarsGit223 notifications at xxxxx
Sat Feb 17 17:40:13 UTC 2018


With this PR the workbench file list and sidebar will automatically be updated if a file is created, removed or renamed. The feature uses the file monitoring from the GIO lib to monitor directories. If required, the feature can be disabled in the workbench settings dialog.
You can view, comment on, or merge this pull request online at:

  https://github.com/geany/geany-plugins/pull/695

-- Commit Summary --

  * workbench: support live update. Closes #659.

-- File Changes --

    M workbench/README (31)
    M workbench/src/Makefile.am (2)
    M workbench/src/dialogs.c (18)
    M workbench/src/menu.c (18)
    M workbench/src/plugin_main.c (8)
    M workbench/src/popup_menu.c (20)
    M workbench/src/sidebar.c (374)
    M workbench/src/sidebar.h (17)
    A workbench/src/wb_monitor.c (267)
    A workbench/src/wb_monitor.h (33)
    M workbench/src/wb_project.c (508)
    M workbench/src/wb_project.h (14)
    M workbench/src/workbench.c (224)
    M workbench/src/workbench.h (11)

-- Patch Links --

https://github.com/geany/geany-plugins/pull/695.patch
https://github.com/geany/geany-plugins/pull/695.diff

-- 
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-plugins/pull/695
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20180217/4de90443/attachment-0001.html>


More information about the Github-comments mailing list