Bug 666851 - gnomine has ugly gap above menubar
gnomine has ugly gap above menubar
Status: RESOLVED FIXED
Product: gnome-games-superseded
Classification: Deprecated
Component: gnomine
3.3.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME Games maintainers
GNOME Games maintainers
:
Depends on:
Blocks:
  Show dependency tree
 
Reported: 2011-12-26 05:18 UTC by Jeremy Bicha
Modified: 2012-01-18 00:01 UTC (History)
1 user (show)

See Also:
GNOME target: ---
GNOME version: ---

Attachments
gnomine 3.3.3 on Ubuntu (13.80 KB, image/png)
2011-12-26 13:43 UTC, Jeremy Bicha 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Description Jeremy Bicha 2011-12-26 05:18:50 UTC 
See the attached screenshot where there is an unnecessary border between the title bar (Mines) and the menu bar (Game, Settings, Help). Other gnome-games don't have this problem. This is using gnomine 3.3.3 on Ubuntu 12.04 alpha using Ubuntu's default Ambiance theme as run in GNOME Shell.
Comment 1 Robert Ancell 2011-12-26 09:56:05 UTC 
Seems to be missing the screenshot...
Comment 2 Jeremy Bicha 2011-12-26 13:43:09 UTC 
Created attachment 204221 [details]
gnomine 3.3.3 on Ubuntu
Comment 3 Robert Ancell 2012-01-18 00:01:33 UTC 
This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report.
Note You need to log in before you can comment on or make changes to this bug.