suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

brought back the diamond prefix on the tabs for when files arent saved; changed the default choince to star for linux

Browse Source 
svn: r18295
This commit is contained in:
Robby Findler 2010-02-23 12:36:55 +00:00
parent 1c31d939d4
commit 05efd5be38
1 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
collects/drscheme/private/unit.ss
View File

@ -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))