Re: [Gtkwave-users] GTKWave "not looking right" on a new install
Brought to you by:
gtkwave,
joel1234567
From: Sylvain M. <24...@gm...> - 2023-07-24 07:25:22
|
Hi, > Look to see if you grabbed gtkwave3 (gtk1 and 2) vs gtkwave3-gtk3 (gtk2 and 3). My guess is you grabbed the gtk3 source which goes more toward the gnome style guide for applications. Yeah, I think on my previous install it was built against GTK2 and this is now GTK3. I don't really want to install GTK2 since it's EOL. > The "giant, useless bar" is because no file is loaded so no menu items will be active and will be ghosted except for menu items to load. No, I didn't mean the icons, that's the useful part :) I meant the top bar / title bar. I have a frame less window manager, I shouldn't have any client imposed window decoration, that should be left to my window manager. But I found out I can undefine WAVE_ALLOW_GTK3_HEADER_BAR to get it like it should be with a proper menu bar and toolbar. The toolbar is still way too large, for which I can do : gtk_toolbar_set_icon_size(GTK_TOOLBAR(tb), GTK_ICON_SIZE_SMALL_TOOLBAR); which does reduce the icon size to 16x16 but unfortunately still doesn't really change the toolbar size just because of GTK3 insane defaults for padding and minimum height. I'm in the process of fixing that with a bit of GTK3 CSS but still need a Then finally I'll also need to find a way to include some icons that are a bit less gray than the default GTK3 set, possibly just go take the old GTK2 ones and somehow find a way to make gtkwave use those instead of the system one. Cheers, Sylvain |