← Back to team overview

widelands-dev team mailing list archive

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