Filterfenster geht nicht auf

[manfsch]

Mit der neusten Version 13.5.0 geht bei mir das Filterfenster nicht mehr auf. Irgeneine Idee? (Win 10 als OS latest update)

[MenchenSued]

@manfsch
Wenn die Filter abgedockt sind, dann kann das Filterfenster sehr klein gezogen werden, sodass nur noch ein dünner Strich übrig bleibt. Schau mal auf Deinem Desktop, ob da irgend ein kleines Element dazu gekommen ist. Die Einstellungen werden in settings.xml gespeichert, ggf. vor dem Start mal diese Datei umbenennen, also quasi löschen.