From efecd24e9d1669404ed89799f4c6f9376d9ef9fd Mon Sep 17 00:00:00 2001
From: WarGrey Gyoudmon Ju <juzhenliang@gmail.com>
Date: Tue, 18 Oct 2016 05:51:33 +0800
Subject: [PATCH] Improvements on typed/images/logos.rkt and
 typed/images/icons.rkt (#443)

---
 typed-racket-more/typed/images/icons.rkt | 32 ++++++++++++------------
 typed-racket-more/typed/images/logos.rkt |  4 +--
 2 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/typed-racket-more/typed/images/icons.rkt b/typed-racket-more/typed/images/icons.rkt
index 1419f6f4..ed20471d 100644
--- a/typed-racket-more/typed/images/icons.rkt
+++ b/typed-racket-more/typed/images/icons.rkt
@@ -1,4 +1,4 @@
-#lang typed/racket/gui
+#lang typed/racket/base
 
 (require typed/racket/draw)
 
@@ -32,7 +32,7 @@
  [floppy-disk-icon
   (-> [#:color (U String (Instance Color%))]
       [#:height Nonnegative-Real]
-      [#:backing-scale Nonnegative-Real]
+      [#:backing-scale Positive-Real]
       (Instance Bitmap%))])
 
 (require/typed/provide
@@ -52,7 +52,7 @@
       [#:height Nonnegative-Real]
       ;[#:material Flomap-Material]
       [#:thickness Nonnegative-Real]
-      [#:backing-scale Nonnegative-Real]
+      [#:backing-scale Positive-Real]
       (Instance Bitmap%))])
 
 (require/typed/provide
@@ -67,13 +67,13 @@
   (-> #:color (U String (Instance Color%))
       [#:height Nonnegative-Real]
       ;[#:material Flomap-Material]
-      [#:backing-scale Nonnegative-Real]
+      [#:backing-scale Positive-Real]
       (Instance Bitmap%))]
  [close-icon
   (-> [#:color (U String (Instance Color%))]
       [#:height Nonnegative-Real]
       ;[#:material Flomap-Material]
-      [#:backing-scale Nonnegative-Real]
+      [#:backing-scale Positive-Real]
       (Instance Bitmap%))]
  [lock-icon
   (->* ()
@@ -92,7 +92,7 @@
       [#:body-color (U String (Instance Color%))]
       [#:height Nonnegative-Real]
       ;[#:material Flomap-Material]
-      [#:backing-scale Nonnegative-Real]
+      [#:backing-scale Positive-Real]
       (Instance Bitmap%))]
  [running-stickman-icon
   (-> Real
@@ -101,7 +101,7 @@
       [#:body-color (U String (Instance Color%))]
       [#:height Nonnegative-Real]
       ;[#:material Flomap-Material]
-      [#:backing-scale Nonnegative-Real]
+      [#:backing-scale Positive-Real]
       (Instance Bitmap%))])
 
 (require/typed/provide
@@ -118,7 +118,7 @@
  (-> #:color (U String (Instance Color%))
      [#:height Nonnegative-Real]
      ;[#:material Flomap-Material]
-     [#:backing-scale Nonnegative-Real]
+     [#:backing-scale Positive-Real]
      (Instance Bitmap%)))
 
 (require/typed/provide/batch
@@ -130,7 +130,7 @@
  (-> #:color (U String (Instance Color%))
      [#:height Nonnegative-Real]
      ;[#:material Flomap-Material]
-     [#:backing-scale Nonnegative-Real]
+     [#:backing-scale Positive-Real]
      (Instance Bitmap%)))
 
 (require/typed/provide/batch
@@ -140,7 +140,7 @@
      [#:arrow-color (U String (Instance Color%))]
      [#:height Nonnegative-Real]
      ;[#:material Flomap-Material]
-     [#:backing-scale Nonnegative-Real]
+     [#:backing-scale Positive-Real]
      (Instance Bitmap%)))
 
 (require/typed/provide/batch
@@ -149,7 +149,7 @@
  (-> [#:color (U String (Instance Color%))]
      [#:height Nonnegative-Real]
      ;[#:material Flomap-Material]
-     [#:backing-scale Nonnegative-Real]
+     [#:backing-scale Positive-Real]
      (Instance Bitmap%)))
 
 (require/typed/provide/batch
@@ -158,7 +158,7 @@
  (-> [#:color (U String (Instance Color%))]
      [#:height Nonnegative-Real]
      ;[#:material Flomap-Material]
-     [#:backing-scale Nonnegative-Real]
+     [#:backing-scale Positive-Real]
      (Instance Bitmap%)))
 
 (require/typed/provide/batch
@@ -177,7 +177,7 @@
  [stethoscope-icon short-stethoscope-icon]
  (-> [#:color (U String (Instance Color%))]
      [#:height Nonnegative-Real]
-     [#:backing-scale Nonnegative-Real]
+     [#:backing-scale Positive-Real]
      (Instance Bitmap%)))
 
 (require/typed/provide/batch
@@ -187,7 +187,7 @@
      [#:bomb-color (U String (Instance Color%))]
      [#:height Nonnegative-Real]
      ;[#:material Flomap-Material]
-     [#:backing-scale Nonnegative-Real]
+     [#:backing-scale Positive-Real]
      (Instance Bitmap%)))
 
 (require/typed/provide/batch
@@ -197,7 +197,7 @@
      [#:handle-color (U String (Instance Color%))]
      [#:height Nonnegative-Real]
      ;[#:material Flomap-Material]
-     [#:backing-scale Nonnegative-Real]
+     [#:backing-scale Positive-Real]
      (Instance Bitmap%)))
 
 (require/typed/provide/batch
@@ -206,5 +206,5 @@
       small-macro-stepper-icon debugger-icon small-debugger-icon]
  (-> [#:height Nonnegative-Real]
      ;[#:material Flomap-Material]
-     [#:backing-scale Nonnegative-Real]
+     [#:backing-scale Positive-Real]
      (Instance Bitmap%)))
diff --git a/typed-racket-more/typed/images/logos.rkt b/typed-racket-more/typed/images/logos.rkt
index 1a02e189..15e71192 100644
--- a/typed-racket-more/typed/images/logos.rkt
+++ b/typed-racket-more/typed/images/logos.rkt
@@ -1,4 +1,4 @@
-#lang typed/racket
+#lang typed/racket/base
 
 (require typed/racket/draw)
 (require "../private/require-batch.rkt")
@@ -7,5 +7,5 @@
  images/logos
  [plt-logo planet-logo stepper-logo macro-stepper-logo]
  (-> [#:height Nonnegative-Real]
-     [#:backing-scale Nonnegative-Real]
+     [#:backing-scale Positive-Real]
      (Instance Bitmap%)))