[Github-comments] [geany] Selecting error lines (#899)
philip r brenan
notifications at xxxxx
Mon Feb 8 13:08:34 UTC 2016
![changeonerrors](https://cloudgithubusercontentcom/assets/7548378/12886393/b5ef27d2-ce64-11e5-86e4-1f38d980c05apng)
Please consider providing the ability to select all lines flagged with errors
so that subsequent change operations can be restricted to them
I posted this on Scintilla and got:
<i>Scintilla provides basic operations that can be combined by the application or
user into user commands
This looks to me as if it would be best implemented as a user macro command or
language mode rather than as a Scintilla API or editor command Its possible
that additions to Scintilla would make implementing such a macro easier but
that should be driven by the experience of people trying to implement this at a
higher level</i>
<b>Thanks!</b>
---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/899
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160208/241a9a27/attachment.html>
More information about the Github-comments
mailing list