[racket-dev] drRacket Close/Close tab

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri Sep 2 09:59:18 EDT 2011

On Fri, Sep 2, 2011 at 8:35 AM, Marijn <hkBst at gentoo.org> wrote:
> 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?
> 'unix

Ah, stupid me. Fix pushed.

>>>> 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.

Oh, not your fault. Our preferences dialog is not exactly small ....


Posted on the dev mailing list.