Closed illeatmyhat closed 6 years ago
I'll mark it as enhancement for future consideration
ui files are being shipped inside a resource bundle in the application. Changing them means you will have to recompile. You can do e.g. css styling via the gtk inspection tool and .ui file development with glade to get a preview.
It would be a good idea to allow the user to edit the *.ui files so they can rice without recompiling after changing the pixel width of a border or padding.