PR 8271
svn: r4283
This commit is contained in:
parent
1780c5886a
commit
109a683aa1
|
@ -745,6 +745,7 @@ profile todo:
|
||||||
|
|
||||||
(inherit get-top-level-window)
|
(inherit get-top-level-window)
|
||||||
(define/augment (after-many-evals)
|
(define/augment (after-many-evals)
|
||||||
|
(printf "updating test coverage\n")
|
||||||
(when test-coverage-info
|
(when test-coverage-info
|
||||||
(send (get-context) show-test-coverage-annotations
|
(send (get-context) show-test-coverage-annotations
|
||||||
test-coverage-info
|
test-coverage-info
|
||||||
|
|
|
@ -873,7 +873,7 @@
|
||||||
(make-object message%
|
(make-object message%
|
||||||
(string-constant overwrite)
|
(string-constant overwrite)
|
||||||
(get-info-panel))]
|
(get-info-panel))]
|
||||||
[define position-canvas (make-object editor-canvas% (get-info-panel) #f '(no-hscroll no-vscroll))]
|
[define position-canvas (make-object click-pref-editor-canvas% (get-info-panel) #f '(no-hscroll no-vscroll))]
|
||||||
[define position-edit (make-object text%)]
|
[define position-edit (make-object text%)]
|
||||||
|
|
||||||
|
|
||||||
|
@ -912,6 +912,31 @@
|
||||||
(send position-edit hide-caret #t)
|
(send position-edit hide-caret #t)
|
||||||
(send position-edit lock #t)))
|
(send position-edit lock #t)))
|
||||||
|
|
||||||
|
(define click-pref-editor-canvas%
|
||||||
|
(class editor-canvas%
|
||||||
|
(inherit popup-menu)
|
||||||
|
(define/override (on-event evt)
|
||||||
|
(cond
|
||||||
|
[(send evt button-down? 'right)
|
||||||
|
(let ([menu (new popup-menu%)]
|
||||||
|
[line-numbers? (preferences:get 'framework:display-line-numbers)])
|
||||||
|
(new checkable-menu-item%
|
||||||
|
[parent menu]
|
||||||
|
[label (string-constant show-line-and-column-numbers)]
|
||||||
|
[callback (λ (x y) (preferences:set 'framework:display-line-numbers #t))]
|
||||||
|
[checked line-numbers?])
|
||||||
|
(new checkable-menu-item%
|
||||||
|
[parent menu]
|
||||||
|
[label (string-constant show-character-offsets)]
|
||||||
|
[callback (λ (x y) (preferences:set 'framework:display-line-numbers #f))]
|
||||||
|
[checked (not line-numbers?)])
|
||||||
|
(popup-menu menu
|
||||||
|
(+ 1 (send evt get-x))
|
||||||
|
(+ 1 (send evt get-y))))]
|
||||||
|
[else
|
||||||
|
(super on-event evt)]))
|
||||||
|
(super-new)))
|
||||||
|
|
||||||
(define pasteboard-info<%> (interface (info<%>)))
|
(define pasteboard-info<%> (interface (info<%>)))
|
||||||
(define pasteboard-info-mixin
|
(define pasteboard-info-mixin
|
||||||
(mixin (basic<%>) (pasteboard-info<%>)
|
(mixin (basic<%>) (pasteboard-info<%>)
|
||||||
|
|
|
@ -398,6 +398,8 @@ please adhere to these guidelines:
|
||||||
(show-status-line "Show status-line")
|
(show-status-line "Show status-line")
|
||||||
(count-columns-from-one "Count column numbers from one")
|
(count-columns-from-one "Count column numbers from one")
|
||||||
(display-line-numbers "Display line numbers in buffer; not character offsets")
|
(display-line-numbers "Display line numbers in buffer; not character offsets")
|
||||||
|
(show-line-and-column-numbers "Show line & column numbers") ; used for popup menu; right click on line/column box in bottom of drs window
|
||||||
|
(show-character-offsets "Show character offsets") ; used for popup menu; right click on line/column box in bottom of drs window
|
||||||
(enable-keybindings-in-menus "Enable keybindings in menus")
|
(enable-keybindings-in-menus "Enable keybindings in menus")
|
||||||
(automatically-to-ps "Automatically print to PostScript file")
|
(automatically-to-ps "Automatically print to PostScript file")
|
||||||
(option-as-meta "Treat option key as meta") ;; macos/macos x only
|
(option-as-meta "Treat option key as meta") ;; macos/macos x only
|
||||||
|
|
|
@ -2,6 +2,11 @@
|
||||||
Version 353
|
Version 353
|
||||||
------------------------------
|
------------------------------
|
||||||
|
|
||||||
|
. right clicking on the line/column offset display in the
|
||||||
|
bottom part of drscheme's window lets you toggle between
|
||||||
|
character offsets (from the beginning of the buffer) and
|
||||||
|
line/column counts.
|
||||||
|
|
||||||
. user-defined keybindings can now be loaded directly from
|
. user-defined keybindings can now be loaded directly from
|
||||||
PLaneT, via a new menu item in the Edit menu.
|
PLaneT, via a new menu item in the Edit menu.
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user