Viewing all changes in revision 7916.
- Committer: Wideland's Bunnybot
- Date: 2016-03-29 06:41:46 UTC
- mfrom: (7907.2.5 map_description_richtext)
- Revision ID: bunnybot@widelands.org-20160329064146-pnpwlm4sm35iwefu
Merged lp:~widelands-dev/widelands/scrollbar_fixes:
Various scrollbar-related fixes:
- Improved buttons for short scrollbars
- Fixed height of language list in options.
- Fixed width of MapDetails in Mapselect and missing pixel in Map Details scrollbar.
Various scrollbar-related fixes:
- Improved buttons for short scrollbars
- Fixed height of language list in options.
- Fixed width of MapDetails in Mapselect and missing pixel in Map Details scrollbar.
- files modified:
- src/ui_basic/box.cc
expand all
collapse all
added
removed
