gui: don't use gtk.keysyms for keyboard shortcuts (breaks windows build), instead use numeric values
gui: don't use gtk.keysyms for keyboard shortcuts (breaks windows build), instead use numeric values

lzehl/python-odml,carloscanova/python-odml,stoewer/python-odml