-
Emmanuele Bassi authored
It's not a hugely complicated file, but it's easier to deal with some of the details of tooltip windows styling if we have a UI file to edit, instead of source code.
0e0b4560
It's not a hugely complicated file, but it's easier to deal with some of the details of tooltip windows styling if we have a UI file to edit, instead of source code.