widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #17528
[Merge] lp:~widelands-dev/widelands/resize_caret into lp:widelands
Toni Förster has proposed merging lp:~widelands-dev/widelands/resize_caret into lp:widelands.
Commit message:
increased caret to 14px
Requested reviews:
Widelands Developers (widelands-dev)
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/resize_caret/+merge/368227
--
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/resize_caret into lp:widelands.
=== modified file 'data/images/ui_basic/caret.png'
Binary files data/images/ui_basic/caret.png 2014-12-03 10:43:04 +0000 and data/images/ui_basic/caret.png 2019-06-01 15:33:05 +0000 differ
Follow ups