# HG changeset patch # User Torsten # Date 1451508552 -3600 # Node ID cb1eb7d9a89fffb53837c96c7e504db153081c56 # Parent 93748bcaec17bc7540d1c0f96c532ae71643545c resolve some identifier ambiguities in the settings dialog * settings-dialog.ui: rename some identifiers in order to resolve duplicates diff -r 93748bcaec17 -r cb1eb7d9a89f libgui/src/settings-dialog.ui --- a/libgui/src/settings-dialog.ui Wed Dec 30 12:33:33 2015 -0800 +++ b/libgui/src/settings-dialog.ui Wed Dec 30 21:49:12 2015 +0100 @@ -1503,7 +1503,7 @@ Debugger - + @@ -1524,13 +1524,13 @@ 571 - + - + - + - + 0 @@ -1586,7 +1586,7 @@ - + Qt::Vertical