mortii

Results 70 comments of mortii

this will be left as a known problem, apologies.

do the same thing with the tags selector dialog too

this makes the settings window incredibly slow to open unfortunately...

Per session or persistent between sessions too?

It probably makes sense to store all the settings (extensions, preprocessing, etc), and not just the input dir. I think this makes a lot of sense for the RRG since...

I'll make the RRG settings persistent first, then maybe do the same for the FFG later.

> On the other hand, the persistence of the frequency.csv file can lead to accidental overwriting if you use multiple files. A history dropdown might help. A history drop down...

The generators' settings will be very volatile for a while, so I'll wait a little longer to implement this.

@aleksejrs @Gardengul you guys want all the settings to be saved and not just the preprocessing ones, right?