This bug still occurs in gnome-mahjongg version 3.22.0.
Tried on Ubuntu 18.04.4 LTS ( year 2020 ) using standard Ubuntu package.
The bug: One cannot change the board layout because the Mahjongg
preferences and the Help buttons are not displayed.
One fix is to edit src/gnome-mahjongg.vala and rebuild
Line 145
bool shell_shows_menubar;
Gtk.Settings.get_default ().get ("gtk-shell-shows-menubar", out
shell_shows_menubar);
+ shell_shows_menubar = true; /* Force this to let us see the Preferences
menu */
if (!shell_shows_menubar)
It maybe that one can get the same affect by setting the GTK setting
'gtk-shell-shows-menubar in some config file,
e.g. /etc/gtk-3.0/settings.ini, but I do not know what other programs
would be affected.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1197400
Title:
Main menu bar (Settings, etc) not showing.
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-mahjongg/+bug/1197400/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
