Eberhard Graether 401c23f572 ui: Smaller fonts in indexing dialogs

2016-08-26 13:45:05 +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: Smaller fonts in indexing dialogs

2016-08-26 13:45:05 +02:00

progress_bar_element.png

ui: Indexing UI

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