Cedric Roux 1dea159028 gui "text_list" becomes "textlist" ...

view "textlist" becomes "view_textlist" (this one may change at some
point)

2016-05-04 10:09:33 +02:00

..

utils

gui "text_list" becomes "textlist"

2016-05-04 10:09:33 +02:00