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

..

dots_hover.png

logic: Fulltextsearch

2016-05-10 11:10:13 +02:00

dots.png

logic: Fulltextsearch

2016-05-10 11:10:13 +02:00

help_hover.png

logic: Fulltextsearch

2016-05-10 11:10:13 +02:00

help.png

logic: Fulltextsearch

2016-05-10 11:10:13 +02:00

listbox.css

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

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

logo.png

logic: Fulltextsearch

2016-05-10 11:10:13 +02:00

minus_hover.png

logic: Fulltextsearch

2016-05-10 11:10:13 +02:00

minus.png

logic: Fulltextsearch

2016-05-10 11:10:13 +02:00

plus_hover.png

logic: Fulltextsearch

2016-05-10 11:10:13 +02:00

plus.png

logic: Fulltextsearch

2016-05-10 11:10:13 +02:00

refresh_hover.png

logic: Fulltextsearch

2016-05-10 11:10:13 +02:00

refresh.png

logic: Fulltextsearch

2016-05-10 11:10:13 +02:00

size_grip.png

logic: scroll code when no symbol

2016-07-28 14:16:15 +02:00

window.css

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

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