widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #09807
Re: [Merge] lp:~widelands-dev/widelands/bug-1653460-panel-init-width into lp:widelands
Review: Needs Fixing
Now Can always reproduce this :-(
Open in fullscreeen mode:
**** GRAPHICS REPORT ****
VIDEO DRIVER cocoa
pixel fmt 372645892
size 1440 900
**** END GRAPHICS REPORT ****
Open options menu:
4 widelands 0x0000000100946b2e UI::Panel::set_size(int, int) + 142 (panel.cc:243)
5 widelands 0x000000010095af4b UI::SpinBox::layout() + 1131 (spinbox.cc:202)
6 widelands 0x000000010095a3ae UI::SpinBox::SpinBox(UI::Panel*, int, int, unsigned int, unsigned int, int, int, int, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&, UI::SpinBox::Units const&, Image const*, UI::SpinBox::Type, int, int) + 10814 (spinbox.cc:171)
7 widelands 0x000000010095a9c9 UI::SpinBox::SpinBox(UI::Panel*, int, int, unsigned int, unsigned int, int, int, int, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&, UI::SpinBox::Units const&, Image const*, UI::SpinBox::Type, int, int) + 249 (spinbox.cc:173)
8 widelands 0x0000000100a0ee9c FullscreenMenuOptions::FullscreenMenuOptions(OptionsCtrl::OptionsStruct) + 8076 (options.cc:152)
So I would suggest we should spin^h^h^h^h fix these Boxes, too.
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1653460-panel-init-width/+merge/318358
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1653460-panel-init-width.
References