From 05efd5be38275bd4b89ae0312452a3287039a7e8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 23 Feb 2010 12:36:55 +0000 Subject: [PATCH] brought back the diamond prefix on the tabs for when files arent saved; changed the default choince to star for linux svn: r18295 --- collects/drscheme/private/unit.ss | 20 ++++++++++++-------- 1 file changed, 12 insertions(+), 8 deletions(-) diff --git a/collects/drscheme/private/unit.ss b/collects/drscheme/private/unit.ss index 37e9bdaf32..602c91feb3 100644 --- a/collects/drscheme/private/unit.ss +++ b/collects/drscheme/private/unit.ss @@ -2093,9 +2093,11 @@ module browser threading seems wrong. (and (eq? i tab) (format "~a: " n))) "")]) - (string-append - i-prefix - (get-defs-tab-filename defs)))) + (add-modified-flag + defs + (string-append + i-prefix + (get-defs-tab-filename defs))))) (define/private (get-defs-tab-filename defs) (let ([fn (send defs get-filename)]) @@ -2158,11 +2160,13 @@ module browser threading seems wrong. string)) (define/private (get-save-diamond-prefix) - (let ([candidate-prefixes (list - (case (system-type) - [(windows) "• "] - [else "◆ "]) - "* ")]) + (let ([candidate-prefixes + ;; be sure asterisk is at the end of each list, + ;; since that's a relatively safe character + (case (system-type) + [(windows) '("• " "★ " "◆ " "* ")] + [(unix) '("★ " "◆ " "* ")] + [else '("◆ " "★ " "* ")])]) (ormap (lambda (candidate) (and (andmap (λ (x) (send normal-control-font screen-glyph-exists? x #t))