Mon, 19 Nov 2018 13:38:43 +0100 |
Markus Kottlaender |
fix: zoombuttons z-index
|
Mon, 19 Nov 2018 13:29:57 +0100 |
Markus Kottlaender |
removed grey border from all buttons/boxes
|
Mon, 19 Nov 2018 13:22:19 +0100 |
Thomas Junk |
staging area
|
Mon, 19 Nov 2018 13:02:48 +0100 |
Markus Kottlaender |
close bottleneck list: made searchbar collapse only if it was collapsed before
|
Mon, 19 Nov 2018 12:48:33 +0100 |
Markus Kottlaender |
give search bar minimum width
|
Mon, 19 Nov 2018 12:40:56 +0100 |
Markus Kottlaender |
merge
|
Mon, 19 Nov 2018 11:23:00 +0100 |
Markus Kottlaender |
made searchbar contextual
|
Mon, 19 Nov 2018 12:17:27 +0100 |
Sascha L. Teichmann |
Renamed controller file of sounding result imports to a more suited name.
|
Mon, 19 Nov 2018 10:09:25 +0100 |
Thomas Junk |
fix: prevent identify tool from jumping during page load
|
Mon, 19 Nov 2018 09:09:27 +0100 |
Markus Kottlaender |
moved search icon/bar to the left, next to main menu
|
Mon, 19 Nov 2018 09:01:06 +0100 |
Markus Kottlaender |
improve manual coordinate input validation
|
Mon, 19 Nov 2018 08:51:44 +0100 |
Markus Kottlaender |
fixed property of null bug
|
Mon, 19 Nov 2018 08:33:03 +0100 |
Markus Kottlaender |
added missing image asset for cross cut lines
|
Mon, 19 Nov 2018 08:26:02 +0100 |
Markus Kottlaender |
changed cut tool style
|