Le 03/05/2016 19:03, Giovanni Bianchessi a ?crit : > That odd procedure works, not always, but often it works. Thank you very much!
There is a more simple way : before selecting all the styles you wish to delete, just double click on one of the styles, so as to open the right "Edit style" pane. Then select all your unwanted styles and press the "Delete" button. (At least this works on Ubuntu) JLuc
