Re: [Github-comments] [geany/geany-plugins] workbench: fixed tag-manager warning. Fixes #713. (#715)

2018-03-09 Thread Frank Lanitz
Merged #715. -- 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/715#event-1514503750

[Github-comments] [geany/geany-plugins] workbench: fixed tag-manager warning. Fixes #713. (#715)

2018-03-01 Thread LarsGit223
Prevent debug messages by checking if the file path is a regular file or not. You can view, comment on, or merge this pull request online at: https://github.com/geany/geany-plugins/pull/715 -- Commit Summary -- * workbench: fixed tag-manager warning. Fixes #713. -- File Changes -- M