I'm not sure how to please everybody regarding font and window size preferences, will
think about what would be the best way to proceed...
maybe we could add it to the list of options?
Yes I think that would be great. It would certainly help keep the same source code
for Linux and Windows (currently I have to manually fine-tune gui_qt.py with each build,
to make the GUI look nice on Windows)
Ideally, font type and size would be user options, and window size, position
and column widths could be also saved, if that is feasible for you?
Surely Linux users will appreciate this too, I guess.