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 <laurent.ors...@gmail.com> wrote:
> On Fri, Oct 29, 2021 at 10:47 PM James Zollinger <mzo...@gmail.com> 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 racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/CAN-sgtLf0q3aVwYJSvYDBpBErWoouKkhBsE5N3-yLnx-nJkNZw%40mail.gmail.com.
