>Hi Abdel, More bugs:
* Document Settings->Float Placement is a little bit broken, because it reused the existing FloatPlacement widget, but now there is no Float type set etc. * Changing of float type does not work if you 'edit' a subfloat. If you change the outer float, the subfloat is correctly converted too, but the other way around does not work. Vincent
