zhupengfei c38202bd30
dumping_dialog: Add a line edit for the options
So that users can just paste a set of parameters they found elsewhere.
2020-02-27 16:55:18 +08:00
..
2018-08-25 14:45:50 +02:00
2017-09-03 11:26:10 -06:00
2018-10-20 16:31:35 +02:00
2018-10-20 16:31:35 +02:00
2019-08-16 19:35:37 -06:00
2020-02-27 16:55:16 +08:00