jEdit was basically my first introduction to powerful text editors while learning programming and Lilypond. It had some nice plugins/macros for text processing. But, yeah, it was so slow that eventually I moved to…
jEdit was basically my first introduction to powerful text editors while learning programming and Lilypond. It had some nice plugins/macros for text processing. But, yeah, it was so slow that eventually I moved to…