3099d353f9
Add a theme section in the configuration file to allow users to set the colors used by different elements of the ui. Improve the update mechanism so that incremental changes to the configuration file can be incorporated.
13 lines
195 B
Python
13 lines
195 B
Python
import dotdot
|
|
from pubs import color
|
|
|
|
|
|
def perf_color():
|
|
s = str(list(range(1000)))
|
|
for _ in range(5000000):
|
|
color.dye_out(s, 'red')
|
|
|
|
|
|
if __name__ == '__main__':
|
|
perf_color()
|