Abdelrazak Younes wrote: > José Matos wrote: >> On Tuesday 15 May 2007 12:41:11 Georg Baum wrote: >>> The only other >>> problem we encountered apart from the just fixed one was a bad >>> converter: It produced a broken file. Fixing the converter had no effect >>> because the bad file was cached. If this happens it can be very annoying >>> for the user, but unfortunately I have no idea how to prevent that. >> >> Eventually we could have an advanced option in each graphic allowing >> the >> removal of the cached file. > > That's too much I think. I'd rather have a "Clear Cache" button in the > Converter section.
I agree. I also had another idea that I implemented in my branch: Delete cached files if the corresponding converter is changed or deleted. That takes care for the case when a converter is broken and the change fixes it. I also discovered that files with spaces did not work and fixed that, too. Both fixes are ready to go in trunk IMHO. Please tell if you want them or not. Georg
