Matthias Wirth
|
91aa258883
|
move zoom buttons
|
2020-01-23 16:20:27 +01:00 |
|
Matthias Wirth
|
e60692e385
|
history trace for globeIndex
and some other stuff
|
2020-01-22 20:49:11 +01:00 |
|
Matthias Wirth
|
217aadec9c
|
different icons for hiding/showing the table
|
2020-01-18 00:24:14 +01:00 |
|
Matthias Wirth
|
832f72d571
|
extend search to type
|
2020-01-04 14:10:10 +01:00 |
|
Matthias Wirth
|
901528505d
|
some more filtering options
|
2020-01-04 13:51:14 +01:00 |
|
Matthias Wirth
|
bd09a85c39
|
clean history
for the commit history of this git project, see the history-master
branch.
|
2020-01-03 21:32:26 +01:00 |
|