Merge lp:~widelands-dev/widelands/resize_caret into lp:widelands

Proposed by Toni Förster
Status: Merged
Merged at revision: 9137
Proposed branch: lp:~widelands-dev/widelands/resize_caret
Merge into: lp:widelands
Diff against target: 2 lines (+0/-0)
0 files modified
To merge this branch: bzr merge lp:~widelands-dev/widelands/resize_caret
Reviewer Review Type Date Requested Status
GunChleoc Approve
Review via email: mp+368227@code.launchpad.net

Commit message

increased caret to 14px

To post a comment you must log in.
Revision history for this message
GunChleoc (gunchleoc) wrote :

LGTM :)

@bunnbot merge

review: Approve
Revision history for this message
bunnybot (widelandsofficial) wrote :

Continuous integration builds have changed state:

Travis build 5119. State: errored. Details: https://travis-ci.org/widelands/widelands/builds/540143357.
Appveyor build 4901. State: failed. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_resize_caret-4901.

Revision history for this message
GunChleoc (gunchleoc) wrote :

inputqueues

@bunnybot merge

Revision history for this message
GunChleoc (gunchleoc) wrote :

@bunnybot merge force

Revision history for this message
bunnybot (widelandsofficial) wrote :

Refusing to merge, since Travis is not green. Use @bunnybot merge force for merging anyways.

Travis build 5119. State: errored. Details: https://travis-ci.org/widelands/widelands/builds/540143357.

Revision history for this message
Toni Förster (stonerl) wrote :

@bunnybot merge force

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
=== modified file 'data/images/ui_basic/caret.png'
0Binary 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 differ0Binary 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

Subscribers

People subscribed via source and target branches

to status/vote changes: