3 Commits

Author	SHA1	Message	Date
Nyall Dawson	b9bbd91754	Port ability to navigate layouts using space-pan and ctrl-space zoom	2017-07-11 11:06:36 +10:00
Nyall Dawson	a346736df2	Handle tool changes mid press-release operation ... Because it's possible for users to change the tool while a press release operation is mid-way, e.g. by pressing a tool shortcut key.	2017-07-11 11:06:36 +10:00
Nyall Dawson	3f66520828	Add layout panning tool	2017-07-11 11:06:36 +10:00