Re: [9fans] Alternative to fine-grained mouse usage?

2021-07-03 Thread Dworkin Muller
On Sat, 03 Jul 2021 22:33:07 +0100, "Ethan Gardener" wrote: eekee57> To be honest, it helps that the editor's source code is only eekee57> about 2.5KB. ;) So you're using the Forth environment as your editor, not just using Forth to drive sam or acme? Dworkin

Re: [9fans] Alternative to fine-grained mouse usage?

2021-07-03 Thread Ethan Gardener
On Sat, Jul 3, 2021, at 5:32 PM, silas poulson wrote: >> On 2 Jul 2021, at 19:06, Ethan Gardener wrote: >> >> This reminds me why I switched to Forth: I can program my editor properly > > Could you expand on this point? > > Vaguely aware of Forth, but no experience with forth editors Sure.

Re: [9fans] Alternative to fine-grained mouse usage?

2021-07-03 Thread silas poulson
On 2 Jul 2021, at 19:06, Ethan Gardener mailto:eeke...@fastmail.fm>> wrote: This reminds me why I switched to Forth: I can program my editor properly Could you expand on this point? Vaguely aware of Forth, but no experience with forth editors Silas --

Re: [9fans] Alternative to fine-grained mouse usage?

2021-07-03 Thread Ethan Gardener
On Sat, Jul 3, 2021, at 3:29 AM, umbrati...@prosimetrum.com wrote: > nothing's tying you to sam syntax: > > ,|awk '{print NR "\t" $0}' > > then undo. Good points. I used to pipe through other tools often, and very often used to make temporary changes and undo them. Can't remember specific uses

Re: [9fans] Alternative to fine-grained mouse usage?

2021-07-03 Thread Ethan Gardener
On Fri, Jul 2, 2021, at 7:54 PM, Silas McCroskey wrote: > > In any case, Plan 9's ed has a nice "browse" command which sam can't match. > > I used to issue "0bn", then just "b" once per page. Or, if you don't want > > line numbers, leave out the "n". > > "+,+20p" does it. Doesn't work near the

Re: [9fans] Alternative to fine-grained mouse usage?

2021-07-03 Thread hiro
good luck! -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T716c5aa0e2aa8a27-M5e3fc3dea6ef1fe0563bb972 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

Re: [9fans] Alternative to fine-grained mouse usage?

2021-07-03 Thread Dworkin Muller
Thanks folks for all the suggestions and pointers. Now it's just a small matter of putting it all into practice ;-) Dworkin -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T716c5aa0e2aa8a27-Me11ccf659e0e88c10119b85f Delivery options: