Project

General

Profile

Actions
Copy link

Emulator Issues #8620

closed

Main window decreases in height with every restart

Added by flacs almost 9 years ago. Updated almost 3 years ago.

Status:
Fixed
Priority:
Normal
Assignee:
-
% Done:

0%

Operating system:
N/A
Issue type:
Bug
Milestone:
Regression:
No
Relates to usability:
No
Relates to performance:
No
Easy:
No
Relates to maintainability:
No
Regression start:
Fixed in:

Description

What's the problem? Describe what went wrong in few words.
Dolphin's main window decreases in height by 24 pixels with every restart.

What did you expect to happen instead?
The main window should stay the same size between restarts.

What steps will reproduce the problem?

  1. Start Dolphin.
  2. Close Dolphin.
  3. Start Dolphin.

Which versions of Dolphin did you test on?
various

Does using an older version of Dolphin solve your issue? If yes, which
versions of Dolphin used to work?
I remember it used to work, but I can't find a version that does.

What are your PC specifications?
Linux, GNOME 3, default theme

Is there any other relevant information?
I suspect this is a wxgtk problem.

Actions
Copy link

Also available in: Atom PDF