[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