Re: [racket-dev] drracket on linux, no middle-mouse-paste, no Replace
At Tue, 24 May 2011 10:41:41 -0300, Rodolfo Carvalho wrote: > On Tue, May 24, 2011 at 10:02, Marijn wrote: > > with version 5.1.1 of drracket running on linux, > > mouse-select/middle-mouse-paste isn't working. > > I can confirm that. > v5.1.1 compiled from source, Ubuntu 10.10. Fix pushed to the git repo. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] drracket on linux, no middle-mouse-paste, no Replace
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 05/24/11 15:41, Rodolfo Carvalho wrote: > On Tue, May 24, 2011 at 10:02, Marijn wrote: >> Unrelatedly I noticed that in the Edit menu all three options concerning >> Replace are greyed out. > > Indeed, but I wonder it's like this by design? > If you click "find" and then "show replace" on the menu, then "replace" is > available. > Hmm, I guess that it's possible to be by design, but I find it a bit clunky. Also I am missing regex search and replace tools! Marijn -BEGIN PGP SIGNATURE- Version: GnuPG v2.0.17 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk3bw8AACgkQp/VmCx0OL2wQ/ACgg70vGB/au5j9feu1fIMAZUQL GvwAn25E8AjaHv8LgCdz4Q+Ed+eUGvSd =i5cj -END PGP SIGNATURE- _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] drracket on linux, no middle-mouse-paste, no Replace
On Tue, May 24, 2011 at 10:02, Marijn wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > Hi, > > with version 5.1.1 of drracket running on linux, > mouse-select/middle-mouse-paste isn't working. > I can confirm that. v5.1.1 compiled from source, Ubuntu 10.10. > > Unrelatedly I noticed that in the Edit menu all three options concerning > Replace are greyed out. > Indeed, but I wonder it's like this by design? If you click "find" and then "show replace" on the menu, then "replace" is available. []'s Rodolfo Carvalho _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
[racket-dev] drracket on linux, no middle-mouse-paste, no Replace
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi, with version 5.1.1 of drracket running on linux, mouse-select/middle-mouse-paste isn't working. Unrelatedly I noticed that in the Edit menu all three options concerning Replace are greyed out. Marijn -BEGIN PGP SIGNATURE- Version: GnuPG v2.0.17 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk3brFUACgkQp/VmCx0OL2wDKgCffgGF9SJxsG954PN6emJ4/owM jUgAn1r1DNkteVsfYLO8dU1eGfU6+dSA =DyN0 -END PGP SIGNATURE- _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev