Thomas Zander e179eb3d9b Make the command-line-args dialog better
Instead of using a fixed-width font in a label, which virtually
guarentees a horizontal scrollbar, use a proper text-document
that can re-layout based on user input.
2015-01-05 21:17:45 +01:00
..
2014-01-22 09:46:15 +01:00
2014-12-19 18:02:24 +01:00
2014-11-07 19:55:25 +01:00