Andrey Zhdanov 64b7a3b85f Depth widget minor UX improvement
Decrease depth by tapping left part of widget. Icon is showing "up" (i.e. closer to surface).
Increase depth by tapping right part of widget. Icon is showing "down" (i.e. deeper).

Fixes #354

Signed-off-by: Andrey Zhdanov <andrjufka@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2014-03-03 13:33:03 -08:00
..
2014-03-03 13:29:22 -08:00
2014-02-27 20:09:57 -08:00
2014-02-27 20:09:57 -08:00
2014-02-08 08:00:27 -08:00
2014-03-03 13:29:22 -08:00
2014-03-03 13:29:22 -08:00
2014-02-27 11:44:59 -08:00
2013-12-04 15:49:55 -08:00
2014-02-27 20:09:57 -08:00
2014-02-27 20:09:57 -08:00
2014-02-27 20:09:57 -08:00
2014-02-27 20:09:57 -08:00
2014-03-03 13:29:22 -08:00
2014-03-03 13:29:22 -08:00
2014-02-27 20:09:57 -08:00
2014-03-03 13:29:22 -08:00
2014-03-02 11:16:38 -08:00
2014-03-03 09:43:07 -08:00
2014-02-27 20:09:57 -08:00
2013-11-30 12:01:32 -08:00