Eberhard Graether 1335f9512a ui: Changed all font-sizes from pt to px for same results on all platforms

2016-09-09 02:31:11 +02:00

..

error.png

ui: Indexing UI

2016-08-23 23:45:45 +02:00

flag.png

ui: Indexing UI

2016-08-23 23:45:45 +02:00

indexing_dialog.css

ui: Changed all font-sizes from pt to px for same results on all platforms

2016-09-09 02:31:11 +02:00

progress_bar_element.png

ui: Indexing UI

2016-08-23 23:45:45 +02:00