fixed PR 9571
svn: r10571
This commit is contained in:
parent
3aa1a16fa8
commit
5e0280bba4
|
@ -31,12 +31,21 @@
|
|||
|
||||
(define can-restore-underscore-mixin
|
||||
(mixin (labelled-menu-item<%>) (can-restore-underscore<%>)
|
||||
(inherit get-label get-plain-label set-label)
|
||||
(inherit get-label get-plain-label)
|
||||
(define/override (set-label nl)
|
||||
(unless dont-save
|
||||
(set! saved-label nl))
|
||||
(super set-label nl))
|
||||
(define/public (erase-underscores)
|
||||
(set-label (get-plain-label)))
|
||||
(set! dont-save #t)
|
||||
(set-label (get-plain-label))
|
||||
(set! dont-save #f))
|
||||
(define/public (restore-underscores)
|
||||
(unless (eq? saved-label 'not-yet-saved-label)
|
||||
(set-label saved-label)))
|
||||
(set! dont-save #t)
|
||||
(set-label saved-label)
|
||||
(set! dont-save #f)))
|
||||
(define dont-save #f)
|
||||
(define saved-label 'not-yet-saved-label)
|
||||
(super-new)
|
||||
(set! saved-label (get-label))
|
||||
|
|
Loading…
Reference in New Issue
Block a user