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 Desktop
Packages, which is subscribed to gnome-mahjongg in Ubuntu.
https://bugs.launchpad.net/bugs/1197400

Title:
  Main menu bar (Settings, etc) not showing.

Status in gnome-mahjongg package in Ubuntu:
  Confirmed

Bug description:
  Description:  Ubuntu 13.04
  Release:      13.04
  N: Unable to locate package pkgname (I'm using the new Gnome+Ubuntu pkg)
  The Main Menu bar (Settings, etc) not showing. I have tried many different 
types of ways to get access to it.

  ProblemType: Bug
  DistroRelease: Ubuntu 13.04
  Package: gnome-mahjongg 1:3.8.0-0ubuntu1
  ProcVersionSignature: Ubuntu 3.8.0-25.37-generic 3.8.13
  Uname: Linux 3.8.0-25-generic x86_64
  ApportVersion: 2.9.2-0ubuntu8.1
  Architecture: amd64
  Date: Wed Jul  3 09:02:08 2013
  InstallationDate: Installed on 2013-05-18 (45 days ago)
  InstallationMedia: Ubuntu-GNOME 13.04 "Raring Ringtail" - Release amd64 
(20130424)
  MarkForUpload: True
  ProcEnviron:
   LANGUAGE=en_US:en
   PATH=(custom, no user)
   XDG_RUNTIME_DIR=<set>
   LANG=en_US.UTF-8
   SHELL=/bin/bash
  SourcePackage: gnome-mahjongg
  UpgradeStatus: No upgrade log present (probably fresh install)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-mahjongg/+bug/1197400/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to     : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp

Reply via email to