Merge lp:~majcherlk/widelands/bug-1387784 into lp:widelands
Proposed by
Lukasz
Status: | Work in progress |
---|---|
Proposed branch: | lp:~majcherlk/widelands/bug-1387784 |
Merge into: | lp:widelands |
Diff against target: |
27 lines (+11/-0) 1 file modified
src/ui_basic/textarea.cc (+11/-0) |
To merge this branch: | bzr merge lp:~majcherlk/widelands/bug-1387784 |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
SirVer | Needs Fixing | ||
Review via email: mp+242672@code.launchpad.net |
Description of the change
Now when the text doesn't fit in the Warehouse window the font is changed to smaller one.
To post a comment you must log in.
Welcome Lukasz and thanks for the patch :).
This patch is technically correct, but they drag a dependency on wui (widelands ui) into basic ui which is not desirable. basic ui is more fundamental than wui.