Allow changing of shortcut keys

[R. Grout]

Hi,

I am requesting a feature whereby I can configure the key shortcuts to
some other arbitrary key sequence (like ctrl+enter -> shift+enter).
About half of the key shortcuts conflict with other programs I have
running on my desktop (for example: my app launcher is linked to ctrl
+space, so every time I hit ctrl+space for a completion in dreampi, it
brings up my app launcher instead).

I would appreciate these changes very much. Thank you for the
innovative python shell.

R. Grout

[Noam Yorav-Raphael]

Hello,

Thanks for your suggestion!

For now, I don't plan to add a GUI for configuring the keyboard shortcuts. If the app launcher you use is pretty common, I may consider adding additional shortcut keys (as I did for Mac shortcuts.)

However, you can edit dreampie.glade (found in the share/dreampie directory) to change the shortcuts - for example, to change the ctrl-space bindings, change the line:

<accelerator key="space" signal="activate" modifiers="GDK_CONTROL_MASK"/>

to something else.

Have a good day,

Noam