On Wed, 7 Sept 2022, 19:30 Peter Cheung, <[email protected]> wrote: > 2. The highlightfactory + highlighter is highlighting the editor by > char offset. Is it possible to highlight some rows? >
Well, you can make it highlight rows. I have a flash on save module that highlights all changed rows in PraxisLIVE. https://github.com/praxis-live/praxis-live/tree/master/praxis.live.editor.saveflash/src/org/praxislive/ide/editor/saveflash It's quite a useful feature. Good for talks, but also occasionally for picking up unintentional changes. Keep meaning to tidy up and contribute. Best wishes, Neil
