4 Commits

Author	SHA1	Message	Date
Jean-Francois Dockes	01eb2c60b1	gui special indexing: no indexing was done if the erase option was selected. Improve label	2019-08-06 17:19:45 +02:00
Jean-Francois Dockes	6636d67f5b	GUI special indexing menu: remove negation	2019-03-14 10:55:06 +01:00
Jean-Francois Dockes	2b7757fc02	doc	2015-11-21 14:41:11 +01:00
Jean-Francois Dockes	ab93302812	Add GUI dialog to start indexing with special options. Closes issue #264	2015-10-01 09:07:00 +02:00