[racket-dev] drRacket Close/Close tab

From: Marijn (hkBst at gentoo.org)
Date: Fri Sep 2 09:35:56 EDT 2011

Hash: SHA1

Hi Robby,

On 09/02/11 14:33, Robby Findler wrote:
> On Fri, Sep 2, 2011 at 2:50 AM, Marijn <hkBst at gentoo.org> wrote:
>> But anyway, the test for whether the platform is Gtk seems to be
>> faulty, because now I'm seeing the ``Windows/OS X''-style menu.
>> The good news is that it's now working as you describe.
> Can you tell me the result of evaluating
> (system-type)
> on your machine?


>>> All platforms:
>>> - changed "New Tab" to <menukey>-t
>>> - changed "Run" to <menukey>-r
>> These are working.
>>> - changed "Replace" to <menukey>-shift-f
>> This also seems to be working.
>> I think Find&Replace could be so much more useful though: Ctrl-F 
>> <find-search-term-as-you-type> instead of Ctrl-F <search-term>
>> Ctrl-G,
> I'll note two things here: it does search as you type (and it
> circles the search results); it just does not jump around as you
> type. I find this to be easier to use as it helps me navigate more
> effectively through the buffer. But I realize others don't like
> this (especially those coming from Emacs) so there is an attempt to
> do things in a more Emacs-y way that you can get to by chosing the
> "search with anchors" (or something like that) preference.

I feel really stupid now; I could have sworn that there was no
search-as-you-type, and it was there all along right in front of me.
I'll try and keep my eyes open next time ;P. Thanks for your patience.

Version: GnuPG v2.0.18 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/


Posted on the dev mailing list.