search

cvfosammmm / Setzer

LaTeX editor written in Python with Gtk
https://www.cvfosammmm.org/setzer/
Other
385 stars 33 forks source link

Use GtkMenuButton properties where possible #365

Closed oscfdezdz closed 10 months ago

cvfosammmm commented 10 months ago

Please open an issue first before a PR. I used an extra box deliberately in this case, in order to control the margins. Also why did you remove the shortcut?

oscfdezdz commented 10 months ago

Also why did you remove the shortcut?

Setting primary property, enables it: https://docs.gtk.org/gtk4/property.MenuButton.primary.html

cvfosammmm commented 10 months ago

Ok, thanks for clarifying. I think it doesn't hurt in this case to make the shortcut explicit.