-
Christian Hergert authored
This keeps things that are related to the editor itself in the editor plugin rather than in the top-level gtk/menus.ui.
c463c023
This keeps things that are related to the editor itself in the editor plugin rather than in the top-level gtk/menus.ui.