Device screens: Can generate a list with duplicate names and stop edit screens dialog from opening

- From your local server, create a device screen that is saved to the server
- Change instrument
- Create a local device screen with the same name as the original
- Change back to your local instrument
- Both screens should now appear in your device screens list
- The edit device screens button no longer work and causes an exception in the GUI

Riproduci il problema utilizzando i passaggi indicati di local-server e instrument-switching, quindi esamina l’eccezione della GUI sollevata all’apertura della finestra di dialogo per modificare le schermate del dispositivo. Traccia il modo in cui le schermate duplicate entrano nell’elenco delle schermate del dispositivo; il lavoro è completato quando l’elenco non contiene nomi duplicati e la finestra di dialogo di modifica si apre normalmente.

Scritto dal modello di indicizzazione a partire dal testo della issue.