Changing editbox styles is implemented in https://code.launchpad.net/~widelands-dev/widelands/font_size-lua/+merge/366938, so we really need somebody to review that branch and make Toni's life easier.
« Back to merge proposal
Changing editbox styles is implemented in https:/ /code.launchpad .net/~widelands -dev/widelands/ font_size- lua/+merge/ 366938, so we really need somebody to review that branch and make Toni's life easier.