Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: scummvm/scummvm
base: ace2fa77eb91
Choose a base ref
...
head repository: scummvm/scummvm
compare: 7c259fe1295f
Choose a head ref
  • 5 commits
  • 11 files changed
  • 2 contributors

Commits on Feb 28, 2017

  1. GUI: Clean up GlobalOptionsDialog reflow changing visible tabs

    @wjp
    wjp committed Feb 28, 2017
    Copy the full SHA
    af831f2 View commit details
    Browse the repository at this point in the history

  2. GUI: Give each tab in TabWidget its own width 

    The width of each tab is now computed from its title, independently of
the other tabs. This increases the number of tabs that fit on the
screen.

This rewrite also fixes a bug where if the window size increased while
_firstVisibleTab > 0, some tabs would become inaccessible when the
scroll buttons were hidden.

The layout key Globals.TabWidget.Tab.Width is now treated as minimal
tab width. This is set so that the tabs fit reasonably well in lowres
layouts.

At the same time, this reduces the lowres scroll buttons heights to fit.

This patch makes the Nintento DS hacks in TabWidget obsolete.
(Hopefully! I'm not able to test.)
    @wjp
    wjp committed Feb 28, 2017
    Copy the full SHA
    5510640 View commit details
    Browse the repository at this point in the history

  3. GUI: Check rect validity for popup/radio drawing

    @wjp
    wjp committed Feb 28, 2017
    Copy the full SHA
    c64d918 View commit details
    Browse the repository at this point in the history

  4. GUI: Increase tab title spacing

    @wjp
    wjp committed Feb 28, 2017
    Copy the full SHA
    7dd1a1e View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2017

  1. Merge pull request #911 from wjp/tabs 

    GUI: Improve tab widget
    @sev-
    sev- committed Mar 1, 2017
    Copy the full SHA
    7c259fe View commit details
    Browse the repository at this point in the history