# HG changeset patch # User Stefan Vogel # Date 1070538683 -3600 # Node ID 658685da5502e4e9549b30ede7287cd09ec672a7 # Parent e33aee13defea04d202ddb2e36b3f7b40a6a1b03 Use 'Discard Changes...' instead of 'Forget it' diff -r e33aee13defe -r 658685da5502 resources/UIPainter.rs --- a/resources/UIPainter.rs Thu Dec 04 12:50:44 2003 +0100 +++ b/resources/UIPainter.rs Thu Dec 04 12:51:23 2003 +0100 @@ -79,7 +79,7 @@ 'Paste Width' 'Breite Setzen' 'Paste Height' 'Höhe Setzen' -'Window Spec was modified !' 'Spezifikation wurde verändert !' +'Window spec was modified. Exit ayway?' 'Spezifikation wurde verändert. Trotzdem beenden?' #endif