By the way, I just noticed that the horizontal scrollbar is completely screwed up due to not setting the GtkBox orientation. Here is a trivial fix attached. You might want to apply it before the app-menu branch.
By the way, I just noticed that the horizontal scrollbar is completely screwed up due to not setting the GtkBox orientation. Here is a trivial fix attached. You might want to apply it before the app-menu branch.