- Status Neu
- Percent Complete
- Task Type Fehlerbericht
- Category GUI & Server → GUI
- Assigned To No-one
- Operating System Windows 10
- Severity Very Low
- Reported Version 3.2.3
- Due in Version Undecided
-
Due Date
Undecided
- Votes
- Private
FS#5048 - Grafikfehler beim Umbenennen von Devices
Mir ist heute ein Grafik-Fehler bbeim Umbenennen von Devices aufgefallen. Beim Umbenennen wird die Schrift im Project Explorer kleiner, so dass
am Ende noch ein Stück der alten Schrift stehen bleibt (siehe angehängter Screenshot). Das ist auch eher ein Schönheitsfehler und hat keinen Einfluß auf die Funktion.
Dies tritt auch nur bei längeren Namen auf.
Es gibt dazu auch keine Log-Einträge.