[Github-comments] Re: [geany/geany] Find result indicators - Show find result indicators in the vertical scroll bar (Discussion #4008)

22 Oct 2024


      Yes, that could be useful, and showing error locations too.  It would need to be requested from Scintilla AFAICT since it provides the scrollbars.
-- 
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/discussions/4008#discussioncomment-11011172
You are receiving this because you are subscribed to this thread.

Message ID: geany/geany/repo-discussions/4008/comments/11011172@github.com

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

[Github-comments] Re: [geany/geany] Find result indicators - Show find result indicators in the vertical scroll bar (Discussion #4008)