[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1808169-disable-focus into lp:widelands

2018-12-18 Thread Notabilis
Notabilis has proposed merging lp:~widelands-dev/widelands/bug-1808169-disable-focus into lp:widelands. Commit message: Allowing hotkey usage while windows are open. Requested reviews: Widelands Developers (widelands-dev) Related bugs: Bug #1808169 in widelands: "scrolling not possible with

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1808169-disable-focus into lp:widelands

2018-12-18 Thread bunnybot
Continuous integration builds have changed state: Travis build 4347. State: failed. Details: https://travis-ci.org/widelands/widelands/builds/469721440. Appveyor build 4141. State: failed. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_1808169

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1808169-disable-focus into lp:widelands

2018-12-25 Thread bunnybot
Continuous integration builds have changed state: Travis build 4365. State: errored. Details: https://travis-ci.org/widelands/widelands/builds/472186290. Appveyor build 4158. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_18081

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1808169-disable-focus into lp:widelands

2019-01-13 Thread bunnybot
Continuous integration builds have changed state: Travis build 4404. State: failed. Details: https://travis-ci.org/widelands/widelands/builds/479143097. Appveyor build 4195. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_180816

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1808169-disable-focus into lp:widelands

2019-02-09 Thread bunnybot
Refusing to merge, since Travis is not green. Use @bunnybot merge force for merging anyways. Travis build 4404. State: failed. Details: https://travis-ci.org/widelands/widelands/builds/479143097. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1808169-disable-focus/+merge/361097 Your

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1808169-disable-focus into lp:widelands

2019-02-09 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/bug-1808169-disable-focus into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1808169-disable-focus/+merge/361097 -- Your team Widelands Developers

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1808169-disable-focus into lp:widelands

2018-12-24 Thread GunChleoc
I don't see a problem with how things are now. We will need to reconsider this though if we want to implement full keyboard navigation, e.g. tab through checkboxes and activate/deactivate them by hitting the space bar. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1808169-disable-fo

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1808169-disable-focus into lp:widelands

2019-02-09 Thread Toni Förster
Review: Approve played Can this be merged? I tested this and found no issues. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1808169-disable-focus/+merge/361097 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1808169-disable-focus.

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1808169-disable-focus into lp:widelands

2019-02-09 Thread GunChleoc
Let's have it. We can always revisit it whenever we get around to implementing more keyboard navigation. @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/bug-1808169-disable-focus/+merge/361097 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widela

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1808169-disable-focus into lp:widelands

2019-02-09 Thread Toni Förster
Again a Travis hiccup. @bunnybot merge force -- https://code.launchpad.net/~widelands-dev/widelands/bug-1808169-disable-focus/+merge/361097 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1808169-disable-focus. _