PasteRack.org
Paste # 19796
2014-12-12 17:09:11

Fork as a new paste.

Paste viewed 253 times.


Embed:

  1. #lang typed/racket
  2.  
  3. (require typed/racket/gui)
  4.  
  5. (define-type Web-Panel%
  6.   (Class (init [parent (Instance Area-Container<%>)]
  7.                [style (U 'border 'deleted 'hscroll 'auto-hscroll 'vscroll 'auto-vscroll) #:optional]
  8.                [enabled Any #:optional]
  9.                [vert-margin Integer #:optional]
  10.                [horiz-margin Integer #:optional]
  11.                [border Integer #:optional]
  12.                [spacing Integer #:optional]
  13.                [alignment (List (U 'left 'center 'right) (U 'top 'center 'bottom)) #:optional]
  14.                [min-width (Option Integer) #:optional]
  15.                [min-height (Option Integer) #:optional]
  16.                [stretchable-width Any #:optional]
  17.                [stretchable-height Any #:optional])
  18.          #:implements Panel%
  19.          [load-url (String -> Void)]
  20.          [load-html (->* (String) (#:base-url String) Void)]))

=>