Re: [Fluxus] commits

[gabor papp]

committed a few minor but fun changes to the editor in git -

nice. thanks.

1) over-typing: select texted text is replaced when you type - finally!

this is great. i wish copy and paste would also work :).

best,
gabor