Andreas Huber 14d9216e40 create margins with constant size ...

With this we will be able to zoom in by selecting a region. The constant
margins allow us to determine the exact timestampt for a pixel position.

2018-08-10 09:56:57 +02:00

..

src/main

create margins with constant size

2018-08-10 09:56:57 +02:00

.gitignore

simple auto-completion for the search box

2016-12-23 10:32:51 +01:00

build.gradle

update 3rd party libs

2018-08-09 07:20:09 +02:00