diff --git a/collects/drscheme/private/debug.ss b/collects/drscheme/private/debug.ss index 8793f80704..1dd83532ac 100644 --- a/collects/drscheme/private/debug.ss +++ b/collects/drscheme/private/debug.ss @@ -178,9 +178,9 @@ profile todo: (super-make-object bitmap))]) note%)))) - (define bug-note% (make-note% "bug09.png" 'png/mask)) + (define bug-note% (make-note% "stop-multi.png" 'png/mask)) (define mf-note% (make-note% "mf.gif" 'gif)) - (define file-note% (make-note% "file.gif" 'gif)) + (define file-note% (make-note% "stop-32x32.png" 'gif)) ;; display-stats : (syntax -> syntax) ;; count the number of syntax expressions & number of with-continuation-marks in an diff --git a/collects/drscheme/private/rep.ss b/collects/drscheme/private/rep.ss index 510dc7e085..d00b1d1fdd 100644 --- a/collects/drscheme/private/rep.ss +++ b/collects/drscheme/private/rep.ss @@ -510,27 +510,7 @@ TODO (if (send bitmap ok?) (make-object image-snip% bitmap) (make-object string-snip% "[open file]")))) - (define docs-icon - (let ([bitmap - (make-object bitmap% - (build-path (collection-path "icons") "book.gif"))]) - (if (send bitmap ok?) - (make-object image-snip% bitmap) - (make-object string-snip% "[open file]")))) - (define mf-icon - (let ([bitmap - (make-object bitmap% - (build-path (collection-path "icons") "mf.gif"))]) - (if (send bitmap ok?) - (make-object image-snip% bitmap) - (make-object string-snip% "[mf]")))) - (define bug-icon - (let ([bitmap - (make-object bitmap% - (build-path (collection-path "icons") "bug09.png"))]) - (if (send bitmap ok?) - (make-object image-snip% bitmap) - (make-object string-snip% "[err]")))) + ;; insert/delta : (instanceof text%) (union snip string) (listof style-delta%) *-> (values number number) ;; inserts the string/stnip into the text at the end and changes the diff --git a/collects/icons/stop-22x22.png b/collects/icons/stop-22x22.png new file mode 100644 index 0000000000..5615288519 Binary files /dev/null and b/collects/icons/stop-22x22.png differ diff --git a/collects/icons/stop-32x32.png b/collects/icons/stop-32x32.png new file mode 100644 index 0000000000..3e788f5e79 Binary files /dev/null and b/collects/icons/stop-32x32.png differ diff --git a/collects/icons/stop-multi.png b/collects/icons/stop-multi.png new file mode 100644 index 0000000000..2ac71985c2 Binary files /dev/null and b/collects/icons/stop-multi.png differ