settings: make progressbar more customizable (elapsed time part color, boldness)
tree9b3f1a4192840780fe39001af40cfedc481f204c
-rw-r--r-- 153 .gitignore
-rw-r--r-- 89 AUTHORS
-rw-r--r-- 18011 COPYING
-rw-r--r-- 6970 INSTALL
-rw-r--r-- 247 Makefile.am
-rw-r--r-- 10450 NEWS
-rwxr-xr-x 3345 autogen.sh
-rw-r--r-- 7116 configure.in
drwxr-xr-x - doc
drwxr-xr-x - extras
drwxr-xr-x - src