mred:hyper-edit%

Superclass: mred:media-edit%

This class defines the buffer used for MrEd's hyper-text viewing/editing system.

• (make-object mred:hyper-edit% locked? line-spacing tabstops numtabs) -> mred:hyper-edit% object
      locked? = #t : boolean
      line-spacing = 1.0 : inexact real
      tabstops = null : boxed inexact real or null
      numtabs = 0 : small integer

  First it calls super-init, then it sets keep-locked to locked?, and calls add-h-link-style.

  
  

Methods:

• add-h-link-style
• add-link
• add-tag
• adjust-lists
• after-insert
• change-link
• directory
• do-edit
• follow-on-click?
• get-filename
• get-region-data
• hyper-delta
• hyperlinks-list
• hypertags-list
• install-clickbacks
• keep-locked
• load-file
• make-clickback-func
• make-link
• make-link-style
• make-tag
• map-shift-style
• on-delete
• on-insert
• read-footer-from-file
• remove-h-link-style
• remove-link
• remove-tag
• save-file
• set-follow-on-click
• set-region-data
• show-tag
• uninstall-clickbacks
• update-directory
• write-footers-to-file

All methods:

• active-canvas from mred:connections-media-edit%
• add-buffer-functions from wx:media-buffer%
• add-canvas from mred:connections-media-edit%
• add-editor-functions from wx:media-edit%
• add-h-link-style
• add-link
• add-tag
• adjust-cursor from wx:media-buffer%
• adjust-lists
• after-change-style from mred:media-edit%
• after-delete from mred:media-edit%
• after-edit-sequence from mred:media-edit%
• after-insert
• after-load-file from wx:media-buffer%
• after-save-file from wx:media-buffer%
• after-set-position from mred:media-edit%
• after-set-size-constraint from mred:media-edit%
• append-edit-items from wx:media-buffer%
• append-font-items from wx:media-buffer%
• auto-set-wrap? from mred:media-edit%
• autowrap-bitmap from mred:media-edit%
• begin-edit-sequence from wx:media-buffer%
• begin-write-header-footer-to-file from wx:media-buffer%
• buffer-location-to-dc-location from wx:media-buffer%
• canvases from mred:connections-media-edit%
• caret-hidden? from wx:media-edit%
• change-link
• change-style from wx:media-edit%
• clear from wx:media-buffer%
• clear-undos from wx:media-buffer%
• copy from wx:media-edit%
• copy-self from wx:media-buffer%
• copy-self-to from wx:media-edit%
• cut from wx:media-edit%
• dc-location-to-buffer-location from wx:media-buffer%
• delete from wx:media-edit%
• directory
• do-copy from wx:media-edit%
• do-edit
• do-font from wx:media-buffer%
• do-paste from wx:media-edit%
• editing-this-file? from mred:media-edit%
• end-edit-sequence from wx:media-buffer%
• end-write-header-footer-to-file from wx:media-buffer%
• erase from wx:media-edit%
• extend-edit-sequence-queue from mred:media-edit%
• find-line from wx:media-edit%
• find-position from wx:media-edit%
• find-position-in-line from wx:media-edit%
• find-scroll-line from wx:media-buffer%
• find-snip from wx:media-edit%
• find-string from wx:media-edit%
• find-string-all from wx:media-edit%
• find-wordbreak from wx:media-edit%
• flash-off from wx:media-edit%
• flash-on from wx:media-edit%
• follow-on-click?
• get-admin from wx:media-buffer%
• get-anchor from wx:media-edit%
• get-between-threshold from wx:media-edit%
• get-canvas from mred:connections-media-edit%
• get-character from wx:media-edit%
• get-dc from wx:media-buffer%
• get-descent from wx:media-buffer%
• get-edit-snip from mred:media-edit%
• get-end-position from wx:media-edit%
• get-extent from wx:media-buffer%
• get-file from mred:media-edit%
• get-file-format from wx:media-edit%
• get-filename
• get-flattened-text from wx:media-buffer%
• get-focus-snip from wx:media-buffer%
• get-frame from mred:connections-media-edit%
• get-inactive-focus-threshold from wx:media-buffer%
• get-keymap from wx:media-buffer%
• get-load-overwrites-styles from wx:media-buffer%
• get-max-height from wx:media-buffer%
• get-max-undo-history from wx:media-buffer%
• get-max-width from wx:media-buffer%
• get-min-height from wx:media-buffer%
• get-min-width from wx:media-buffer%
• get-overwrite-mode from wx:media-edit%
• get-pasteboard-snip from mred:media-edit%
• get-position from wx:media-edit%
• get-region-data
• get-snip-data from wx:media-buffer%
• get-snip-location from wx:media-buffer%
• get-snip-position from wx:media-edit%
• get-snip-position-and-location from wx:media-edit%
• get-space from wx:media-buffer%
• get-start-position from wx:media-edit%
• get-style-list from wx:media-buffer%
• get-tabs from wx:media-edit%
• get-text from wx:media-edit%
• get-view-size from wx:media-buffer%
• get-visible-line-range from wx:media-edit%
• get-visible-position-range from wx:media-edit%
• get-wordbreak-map from wx:media-edit%
• global-to-local from wx:media-buffer%
• hide-caret from wx:media-edit%
• highlight-range from mred:media-edit%
• hyper-delta
• hyperlinks-list
• hypertags-list
• insert from wx:media-edit%
• insert-box from wx:media-buffer%
• insert-file from wx:media-buffer%
• insert-image from wx:media-buffer%
• install-clickbacks
• invalidate-bitmap-cache from wx:media-buffer%
• keep-locked
• kill from wx:media-edit%
• last-line from wx:media-edit%
• last-paragraph from wx:media-edit%
• last-position from wx:media-edit%
• line-end-position from wx:media-edit%
• line-length from wx:media-edit%
• line-location from wx:media-edit%
• line-paragraph from wx:media-edit%
• line-start-position from wx:media-edit%
• load-file
• local-edit-sequence? from mred:media-edit%
• local-to-global from wx:media-buffer%
• lock from wx:media-buffer%
• locked? from mred:media-edit%
• make-clickback-func
• make-link
• make-link-style
• make-tag
• map-shift-style
• mode from mred:media-edit%
• modified? from wx:media-buffer%
• move-position from wx:media-edit%
• move/copy-to-edit from mred:media-edit%
• needs-update from wx:media-buffer%
• num-scroll-lines from wx:media-buffer%
• on-change from wx:media-buffer%
• on-change-style from mred:media-edit%
• on-char from wx:media-buffer%
• on-close from mred:media-edit%
• on-default-char from wx:media-buffer%
• on-default-event from wx:media-buffer%
• on-delete
• on-edit-sequence from mred:media-edit%
• on-event from wx:media-buffer%
• on-focus from mred:media-edit%
• on-insert
• on-kill-focus from mred:connections-media-edit%
• on-load-file from wx:media-buffer%
• on-local-char from wx:media-buffer%
• on-local-event from mred:media-edit%
• on-new-box from mred:media-edit%
• on-new-image-snip from wx:media-buffer%
• on-new-tab-snip from wx:media-edit%
• on-new-text-snip from wx:media-edit%
• on-paint from wx:media-buffer%
• on-save-file from wx:media-buffer%
• on-set-focus from mred:connections-media-edit%
• on-set-size-constraint from mred:media-edit%
• own-caret from wx:media-buffer%
• paragraph-end-line from wx:media-edit%
• paragraph-end-position from wx:media-edit%
• paragraph-start-line from wx:media-edit%
• paragraph-start-position from wx:media-edit%
• paste from wx:media-edit%
• position-line from wx:media-edit%
• position-location from wx:media-edit%
• position-paragraph from wx:media-edit%
• print from wx:media-buffer%
• put-file from mred:media-edit%
• read-footer-from-file
• read-from-file from wx:media-edit%
• read-header-from-file from wx:media-buffer%
• redo from wx:media-buffer%
• refresh from wx:media-buffer%
• refresh-delayed? from wx:media-buffer%
• remove-canvas from mred:connections-media-edit%
• remove-clickback from wx:media-edit%
• remove-h-link-style
• remove-link
• remove-tag
• resized from wx:media-buffer%
• run-after-edit-sequence from mred:media-edit%
• save-file
• scroll-line-location from wx:media-buffer%
• scroll-to from wx:media-buffer%
• scroll-to-position from wx:media-edit%
• select-all from wx:media-buffer%
• set-admin from wx:media-buffer%
• set-anchor from wx:media-edit%
• set-auto-set-wrap from mred:media-edit%
• set-autowrap-bitmap from wx:media-edit%
• set-between-threshold from wx:media-edit%
• set-caret-owner from wx:media-buffer%
• set-clickback from wx:media-edit%
• set-cursor from wx:media-edit%
• set-file-format from wx:media-edit%
• set-filename from mred:connections-media-edit%
• set-follow-on-click
• set-inactive-focus-threshold from wx:media-buffer%
• set-keymap from wx:media-buffer%
• set-load-overwrites-styles from wx:media-buffer%
• set-max-height from wx:media-buffer%
• set-max-undo-history from wx:media-buffer%
• set-max-width from wx:media-buffer%
• set-min-height from wx:media-buffer%
• set-min-width from wx:media-buffer%
• set-mode from mred:media-edit%
• set-modified from mred:connections-media-edit%
• set-overwrite-mode from wx:media-edit%
• set-position from wx:media-edit%
• set-position-bias-scroll from wx:media-edit%
• set-region-data
• set-snip-data from wx:media-buffer%
• set-style-list from wx:media-buffer%
• set-styles-fixed from mred:media-edit%
• set-tabs from wx:media-edit%
• set-wordbreak-func from wx:media-edit%
• set-wordbreak-map from wx:media-edit%
• show-tag
• size-cache-invalid from wx:media-buffer%
• split-snip from wx:media-edit%
• styles-fixed? from mred:media-edit%
• undo from wx:media-buffer%
• uninstall-clickbacks
• update-directory
• write-footers-to-file
• write-headers-to-file from wx:media-buffer%
• write-to-file from wx:media-edit%