editor tips in Usage manual?

2014-04-29 Thread Federico Bruni
without scrolling. How many of you is aware of this feature? Any other text editor provides it? I'm wondering how many other key features provided by an editor I'm missing.. What about adding a section in the Usage manual named Editor tips under chapter 5? Of course, this section should

Re: editor tips in Usage manual?

2014-04-29 Thread Knute Snortum
is aware of this feature? Any other text editor provides it? I'm wondering how many other key features provided by an editor I'm missing.. What about adding a section in the Usage manual named Editor tips under chapter 5? Of course, this section should not be a guide for each editor. Instead

Re: editor tips in Usage manual?

2014-04-29 Thread David Kastrup
Federico Bruni fedel...@gmail.com writes: I've recently updated the translation of Frescobaldi and I found out a wonderful feature that I had ignored for a lot of time (I don't know when it was introduced..). I'm talking about WindowSplit horizontally, which allows to divide the input view

Re: editor tips in Usage manual?

2014-04-29 Thread Steven Arntson
David Kastrup d...@gnu.org writes: Federico Bruni fedel...@gmail.com writes: I've recently updated the translation of Frescobaldi and I found out a wonderful feature that I had ignored for a lot of time (I don't know when it was introduced..). I'm talking about WindowSplit horizontally,