Wed, 18 Mar 2020 14:11:44 +0100 |
Fadi Abbud |
client: start a request for the last changed time on time slider
time-sliding
|
Wed, 18 Mar 2020 10:01:01 +0100 |
Fadi Abbud |
merge default into time-sliding branch
time-sliding
|
Mon, 16 Mar 2020 18:20:41 +0100 |
Fadi Abbud |
client: Reload layers with value from time slider
time-sliding
|
Mon, 16 Mar 2020 12:43:53 +0100 |
Fadi Abbud |
client: correct states for time-slider in store
time-sliding
|
Mon, 16 Mar 2020 12:40:58 +0100 |
Fadi Abbud |
merge default into time-slinding branch
time-sliding
|
Fri, 13 Mar 2020 12:29:06 +0100 |
Thomas Junk |
add TIME-Filter to layer and GetFeatureInfo
time-sliding
|
Fri, 13 Mar 2020 11:48:15 +0100 |
Thomas Junk |
move layer.js and styles.js to layers directory
time-sliding
|
Fri, 13 Mar 2020 10:37:44 +0100 |
Thomas Junk |
timeslider: prerequisites for time travel
time-sliding
|
Thu, 12 Mar 2020 11:08:12 +0100 |
Fadi Abbud |
client: remove clear button on date/time picker
time-sliding
|
Thu, 12 Mar 2020 08:19:49 +0100 |
Thomas Junk |
merge with default
time-sliding
|
Wed, 11 Mar 2020 16:45:13 +0100 |
Thomas Junk |
Timeslider proper rescale
time-sliding
|
Wed, 11 Mar 2020 16:34:03 +0100 |
Thomas Junk |
timeslider: resizable
time-sliding
|
Wed, 11 Mar 2020 16:30:03 +0100 |
Thomas Junk |
Backed out changeset 7ef8d3dab29b
time-sliding
|
Wed, 11 Mar 2020 16:26:31 +0100 |
Thomas Junk |
timeslider: resizable
time-sliding
|
Wed, 11 Mar 2020 13:26:02 +0100 |
Fadi Abbud |
merge default into time-slinding branch
time-sliding
|
Wed, 11 Mar 2020 13:21:36 +0100 |
Fadi Abbud |
client: add window resize event listener
time-sliding
|
Wed, 11 Mar 2020 12:39:27 +0100 |
Thomas Junk |
timeslider: remove first. redraw later
time-sliding
|
Tue, 10 Mar 2020 12:49:16 +0100 |
Fadi Abbud |
client: enhanced time-slider behavior on updating selected time after reloads
time-sliding
|
Tue, 10 Mar 2020 12:29:13 +0100 |
Fadi Abbud |
client: improve time-slider code
time-sliding
|
Mon, 09 Mar 2020 16:30:57 +0100 |
Fadi Abbud |
client: set time according to zoom level.
time-sliding
|
Mon, 09 Mar 2020 15:38:00 +0100 |
Fadi Abbud |
client: correct showing of time in toolbar according to zoom level(selected time)
time-sliding
|
Mon, 09 Mar 2020 15:00:21 +0100 |
Fadi Abbud |
client: improve time-slider code
time-sliding
|
Mon, 09 Mar 2020 12:52:37 +0100 |
Fadi Abbud |
client: improve behavior of time-slider during the use of date/time picker
time-sliding
|
Mon, 09 Mar 2020 12:41:47 +0100 |
Fadi Abbud |
merge default into time-slinding branch
time-sliding
|
Fri, 06 Mar 2020 17:21:20 +0100 |
Fadi Abbud |
client: adjust time-slider position in case of opened diagram
time-sliding
|
Fri, 06 Mar 2020 13:30:10 +0100 |
Thomas Junk |
fix accidental deletion of current input
time-sliding
|
Fri, 06 Mar 2020 12:45:28 +0100 |
Fadi Abbud |
client: improve time-slider behavior
time-sliding
|
Fri, 06 Mar 2020 12:41:13 +0100 |
Fadi Abbud |
merged default into time-sliding branch
time-sliding
|
Thu, 05 Mar 2020 12:15:37 +0100 |
Fadi Abbud |
merged default into time-sliding branch
time-sliding
|
Mon, 02 Mar 2020 16:17:50 +0100 |
Thomas Junk |
toolbar: font for time display increased
time-sliding
|