Thanks for the info, Laurent. I tried the trick outlined in the link you
sent me on Debian 11 versions of Gnome 3.38.5 (just to test this) and MATE
1.24.1-2 (my preferred environment) without any success.
My LISP/scheme/racket skills are maturing but I'm not quite ready to tackle:
(when (cons? stat)
(make-object menu-item%
"Print return value to console" menu
(lambda _ (send (get-tab) print-to-console
(string-append "return val = "
rendered-value)))))
and friends! (What is "lambda _"?!)
Any suggestions on how to quickly get up to speed to modify debug-tool.rkt
beyond reading all of the Racket Documentation
<https://docs.racket-lang.org/>?
On Sat, Oct 30, 2021 at 3:37 AM Laurent <[email protected]> wrote:
> On Fri, Oct 29, 2021 at 10:47 PM James Zollinger <[email protected]> wrote:
>
>> Thank you both for the thoughtful answers. I will take a look at the
>> quickscript you sent, Laurent. The mac keyboard shortcut is a great
>> feature. Makes me wonder about buying a mac again after quite a few years.
>> (I use debian as my daily driver, at least for development.)
>
>
> Apparently it should be possible to do the same thing for Debian,
> depending on your window manager, with some caveats:
>
> https://askubuntu.com/questions/107849/can-i-assign-custom-keyboard-shortcuts-for-menu-items-in-applications
>
>
>> If anyone out there knows how to deal with context menus
>> programmatically, please share.
>>
>
> The code of the debug-tool should be changed to make these reachable from
> the outside with a define/public. Somewhere around here:
>
> https://github.com/racket/drracket/blob/b74dc3bc65b4843db0c2b381161fa9e8d85d230d/drracket/gui-debugger/debug-tool.rkt#L375
> but it's a little intricate because a set of specialized menu items are
> created after right-clicking when in debug mode.
>
> Another possibility would be to simulate the mouse clicks, but that seems
> rather hacky and error-prone.
>
>
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/CAN-sgtLf0q3aVwYJSvYDBpBErWoouKkhBsE5N3-yLnx-nJkNZw%40mail.gmail.com.
