URL: <http://gna.org/bugs/?22791>
Summary: Add-ons Manager Filter box and Options button to close to listbox Project: Battle for Wesnoth Submitted by: shadowmaster Submitted on: Sun 12 Oct 2014 09:26:36 AM CLST Category: Bug Severity: 2 - Minor Priority: 5 - Normal Item Group: User Interface Status: None Privacy: Public Assigned to: lovcapone Originator Email: Open/Closed: Open Discussion Lock: Any Release: 1.11.17, 1.13.0-dev Operating System: Any _______________________________________________________ Details: As a side-effect of the fix for bug #22379, the Filter textbox and Options button in the Add-ons Manager dialog are pushed down by a few pixels, placing them too close to the main listbox. See my comment on PR #263 <https://github.com/wesnoth/wesnoth/pull/263#issuecomment-58442774> for a visual comparison. _______________________________________________________ Reply to this item at: <http://gna.org/bugs/?22791> _______________________________________________ Message sent via/by Gna! http://gna.org/ _______________________________________________ Wesnoth-bugs mailing list Wesnoth-bugs@gna.org https://mail.gna.org/listinfo/wesnoth-bugs