yeah, thanks, I know about it. But it is different and not suffice. When word is highlighted - you can easily see where and how variable is used. This simplifies refactoring and analysis. Actually I cannot work on reasonable large codebases without it. The project I started when knew about leo - became large enough so I can develop it in leo w/o some features of it's IDE brothers.
2020-12-21 22:23 GMT+03:00, tbp1...@gmail.com <tbp100...@gmail.com>: > I have got this feature in some editors, but I usually find it to be > annoying. I prefer to move from one instance to the next with <F3> or > <CNTL-G> or one of those standard shortcuts. > > In Leo, the NAV pane can search a node or file - of course you have to type > > or paste the phrase in - and gives you a list of hits in context that you > can click on to get taken to its line. I like this feature very much. Not > > quite what you asked for but useful. > > On Monday, December 21, 2020 at 11:21:46 AM UTC-5 gar wrote: > >> I was not correct in expressing what I need. I am actually missing such a >> >> function like: when cursor is on the word - every word equal to this in >> the >> buffer is somehow highlighted >> (https://images.app.goo.gl/Nb6NYHxcavNnbMfD6 >> ). >> extend-to-word is a good command, but does slightly another thing. >> >> ctrl-click works with python only and like a simple searcher. I am talking >> >> about some sort of AI which parses code and keeps symbols db (look at >> YouCompleteMe for example). >> This feature makes powerful text editor the IDE. >> > > -- > You received this message because you are subscribed to the Google Groups > "leo-editor" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to leo-editor+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/leo-editor/8b347406-abfa-499d-bd30-ef0f4202830bn%40googlegroups.com. > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAC%2B8SVwTY7kkoKotfayf%3DTReJjBrmpGWzg3jF%2BgRAWLwrLW-%2BA%40mail.gmail.com.