UIPainter.st
changeset 1772 e33aee13defe
parent 1760 8419c463c4f6
child 1775 695f10f213d1
equal deleted inserted replaced
1771:1bb15bba99ee 1772:e33aee13defe
  2561 
  2561 
  2562     self askForSectionModification.    
  2562     self askForSectionModification.    
  2563 
  2563 
  2564     (modified or: [painter isModified or: [self helpTool modified]])
  2564     (modified or: [painter isModified or: [self helpTool modified]])
  2565     ifTrue:[
  2565     ifTrue:[
  2566         ((YesNoBox title:(resources string:'Window Spec was modified !!'))        
  2566         ((YesNoBox title:(resources string:'Window spec was modified. Exit anyway?'))        
  2567             noText:(resources string:'Cancel');
  2567             noText:(resources string:'Cancel');
  2568             yesText:(resources string:'Forget it and proceed');
  2568             yesText:(resources string:'Discard Changes and Exit');
  2569             showAtPointer;
  2569             showAtPointer;
  2570             accepted) ifFalse: [^false].
  2570             accepted) ifFalse: [^false].
  2571         modified := false.
  2571         modified := false.
  2572         painter resetModification
  2572         painter resetModification
  2573     ].
  2573     ].