%PDF-
%PDF-
Mini Shell
Mini Shell
;ELC
;;; Compiled
;;; in Emacs version 27.2
;;; with all optimizations.
;;; This file uses dynamic docstrings, first added in Emacs 19.29.
;;; This file does not contain utf-8 non-ASCII characters,
;;; and so can be loaded in Emacs versions earlier than 23.
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(byte-code "\300\301!\210\300\302!\207" [require cl-lib bookmark] 2)
#@290 Insert an xwidget at position POS.
Supply the xwidget's TYPE, TITLE, WIDTH, and HEIGHT.
See `make-xwidget' for the possible TYPE values.
The usage of optional argument ARGS depends on the xwidget.
This returns the result of `make-xwidget'.
(fn POS TYPE TITLE WIDTH HEIGHT &optional ARGS)
(defalias 'xwidget-insert #[1541 "b\210\300%\301``T\302\303\304E$\210\211\207" [make-xwidget put-text-property display xwidget :xwidget] 14 (#$ . 478)])
#@34 Return xwidget at POS.
(fn POS)
(defalias 'xwidget-at #[257 "\300\301\"\211AA@@\302=\205 \211\207" [get-text-property display xwidget] 5 (#$ . 934)])
(byte-code "\300\301!\210\300\302!\207" [require browse-url image-mode] 2)
#@212 Ask xwidget-webkit to browse URL.
NEW-SESSION specifies whether to create a new xwidget-webkit session.
Interactively, URL defaults to the string looking like a url around point.
(fn URL &optional NEW-SESSION)
(defalias 'xwidget-webkit-browse-url #[513 "\300\301!\204\n \302\303!\210;\205 \211\203 \304!\207\305!\207" [featurep xwidget-internal user-error "Your Emacs was not compiled with xwidgets support" xwidget-webkit-new-session xwidget-webkit-goto-url] 4 (#$ . 1170) (byte-code "\300\301!\210\302\303!\207" [require browse-url browse-url-interactive-arg "xwidget-webkit URL: "] 2)])
#@35 Keymap for `xwidget-webkit-mode'.
(defvar xwidget-webkit-mode-map (byte-code "\300 \301\302\303#\210\301\304\305#\210\301\306\307#\210\301\310\311#\210\301\312\313#\210\301\314\315#\210\301\316\317#\210\301\320\321#\210\301\322\323#\210\301\324\325#\210\301\326\327#\210\301\330\325#\210\301\331\325#\210\301\332\327#\210\301\333\327#\210\301\334\335#\210\301\336\337#\210\301\340\335#\210\301\341\337#\210\301\342\327#\210\301\343\325#\210\301\344\345#\210\301\346\347#\210\211\207" [make-sparse-keymap define-key "g" xwidget-webkit-browse-url "a" xwidget-webkit-adjust-size-dispatch "b" xwidget-webkit-back "r" xwidget-webkit-reload "t" #[0 "\300\301!\207" [message "o"] 2 nil nil] "
" xwidget-webkit-insert-string "w" xwidget-webkit-current-url "+" xwidget-webkit-zoom-in "-" xwidget-webkit-zoom-out " " xwidget-webkit-scroll-up "" xwidget-webkit-scroll-down [remap scroll-up] [remap scroll-up-command] [remap scroll-down] [remap scroll-down-command] [remap forward-char] xwidget-webkit-scroll-forward [remap backward-char] xwidget-webkit-scroll-backward [remap right-char] [remap left-char] [remap previous-line] [remap next-line] [remap beginning-of-buffer] xwidget-webkit-scroll-top [remap end-of-buffer] xwidget-webkit-scroll-bottom] 5) (#$ . 1772))
#@35 Increase webkit view zoom factor.
(defalias 'xwidget-webkit-zoom-in #[0 "\300\301 \302\"\207" [xwidget-webkit-zoom xwidget-webkit-current-session 0.1] 3 (#$ . 3059) nil])
#@35 Decrease webkit view zoom factor.
(defalias 'xwidget-webkit-zoom-out #[0 "\300\301 \302\"\207" [xwidget-webkit-zoom xwidget-webkit-current-session -0.1] 3 (#$ . 3236) nil])
#@19 Scroll webkit up.
(defalias 'xwidget-webkit-scroll-up #[0 "\300\301 \302\"\207" [xwidget-webkit-execute-script xwidget-webkit-current-session "window.scrollBy(0, 50);"] 3 (#$ . 3415) nil])
#@21 Scroll webkit down.
(defalias 'xwidget-webkit-scroll-down #[0 "\300\301 \302\"\207" [xwidget-webkit-execute-script xwidget-webkit-current-session "window.scrollBy(0, -50);"] 3 (#$ . 3610) nil])
#@25 Scroll webkit forwards.
(defalias 'xwidget-webkit-scroll-forward #[0 "\300\301 \302\"\207" [xwidget-webkit-execute-script xwidget-webkit-current-session "window.scrollBy(50, 0);"] 3 (#$ . 3810) nil])
#@26 Scroll webkit backwards.
(defalias 'xwidget-webkit-scroll-backward #[0 "\300\301 \302\"\207" [xwidget-webkit-execute-script xwidget-webkit-current-session "window.scrollBy(-50, 0);"] 3 (#$ . 4016) nil])
#@32 Scroll webkit to the very top.
(defalias 'xwidget-webkit-scroll-top #[0 "\300\301 \302\"\207" [xwidget-webkit-execute-script xwidget-webkit-current-session "window.scrollTo(pageXOffset, 0);"] 3 (#$ . 4225) nil])
#@35 Scroll webkit to the very bottom.
(defalias 'xwidget-webkit-scroll-bottom #[0 "\300\301 \302\"\207" [xwidget-webkit-execute-script xwidget-webkit-current-session "window.scrollTo(pageXOffset, window.document.body.clientHeight);"] 3 (#$ . 4443) nil])
(byte-code "\300\301 \302\303#\207" [define-key current-global-map [xwidget-event] xwidget-event-handler] 4)
#@38 Log MSG to a buffer.
(fn &rest MSG)
(defalias 'xwidget-log #[128 "\300\301!r\211q\210\302\303\"c\210\304c)\207" [get-buffer-create " *xwidget-log*" apply format "\n"] 5 (#$ . 4808)])
#@24 Receive xwidget event.
(defalias 'xwidget-event-handler #[0 "\301\302\"\210A@\3038\304\305\"\210\306\"\207" [last-input-event xwidget-log "stuff happened to xwidget %S" 2 message "xw callback %s" xwidget-webkit-callback] 5 (#$ . 4999) nil])
#@130 Callback for xwidgets.
XWIDGET instance, XWIDGET-EVENT-TYPE depends on the originating xwidget.
(fn XWIDGET XWIDGET-EVENT-TYPE)
(defalias 'xwidget-webkit-callback #[514 "\301\302!!\204\f \303\304!\207r\302!q\210\211\305\267\202T \306\307\310\311\312\313\314 !\315\"\316\317%#\210\320p!\202X \3218\322\323\"\205A \324\325\326\"\"\262\202X \3218\3278!\266\202\202X \303\330\")\207" [last-input-event buffer-live-p xwidget-buffer xwidget-log "error: callback called for xwidget with dead buffer" #s(hash-table size 3 test eq rehash-size 1.5 rehash-threshold 0.8125 purecopy t data (load-changed 24 decide-policy 48 javascript-callback 70)) xwidget-webkit-execute-script "document.title" make-byte-code 257 "\301\302\"\210\303\300!\210\304\305\306\"!\207" vconcat vector [xwidget-log "webkit finished loading: '%s'" xwidget-webkit-adjust-size-to-window rename-buffer format "*xwidget webkit: %s *"] 5 "\n\n(fn TITLE)" pop-to-buffer 3 string-match ".*#\\(.*\\)" xwidget-webkit-show-id-or-named-element match-string 1 4 "unhandled event:%s"] 11 (#$ . 5253)])
(defvar xwidget-webkit-mode-hook nil)
(byte-code "\300\301N\204\f \302\300\301\303#\210\304\305!\204 \302\305\306\307#\210\300\207" [xwidget-webkit-mode-hook variable-documentation put "Hook run after entering xwidget-webkit mode.\nNo problems result if this variable is not bound.\n`add-hook' automatically binds it. (This is true for all hook variables.)" boundp xwidget-webkit-mode-map definition-name xwidget-webkit-mode] 4)
(defvar xwidget-webkit-mode-map (make-sparse-keymap))
(byte-code "\301\302N\204 \303\301\302\304\305!#\210\306\307!\204 \303\307\310\311#\210\312\313 !\210\307\302N\204- \303\307\302\304\314!#\210\306\300!\204B \303\300\310\311#\210\315\316\300\317\"\210!\210\300\302N\204P \303\300\302\304\320!#\210\303\311\321\322#\207" [xwidget-webkit-mode-abbrev-table xwidget-webkit-mode-map variable-documentation put purecopy "Keymap for `xwidget-webkit-mode'." boundp xwidget-webkit-mode-syntax-table definition-name xwidget-webkit-mode (lambda (#1=#:def-tmp-var) (defvar xwidget-webkit-mode-syntax-table #1#)) make-syntax-table "Syntax table for `xwidget-webkit-mode'." (lambda (#1#) (defvar xwidget-webkit-mode-abbrev-table #1#)) define-abbrev-table nil "Abbrev table for `xwidget-webkit-mode'." derived-mode-parent special-mode] 5)
#@236 Xwidget webkit view mode.
In addition to any hooks its parent mode `special-mode' might have run,
this mode runs the hook `xwidget-webkit-mode-hook', as the final or penultimate step
during initialization.
\{xwidget-webkit-mode-map}
(defalias 'xwidget-webkit-mode #[0 "\306\300!\210\307\310 \210\311\312\310\313N\203 \314\311\313\310\313N#\210\315 !\204' \316 \317 \"\210\320\f!\211\2035 \211\321 =\203; \322\f\323 \"\210\210\324
\325\"\204R
=\204R \326
\325 C#\210\327 !\210\330\f!\210
\307 \306\331!\210\332\333 \210)\334\335!\207" [delay-mode-hooks major-mode mode-name xwidget-webkit-mode-map xwidget-webkit-mode-syntax-table xwidget-webkit-mode-abbrev-table make-local-variable t special-mode xwidget-webkit-mode "xwidget-webkit" mode-class put keymap-parent set-keymap-parent current-local-map char-table-parent standard-syntax-table set-char-table-parent syntax-table abbrev-table-get :parents abbrev-table-put use-local-map set-syntax-table bookmark-make-record-function xwidget-webkit-bookmark-make-record image-mode-setup-winprops run-mode-hooks xwidget-webkit-mode-hook local-abbrev-table buffer-read-only] 5 (#$ . 7591) nil])
#@52 Integrate Emacs bookmarks with the webkit xwidget.
(defalias 'xwidget-webkit-bookmark-make-record #[0 "\300\301\211\"\302\303 B\304B\244\207" [bookmark-make-record-default t page xwidget-webkit-current-url ((handler lambda (bmk) (browse-url (bookmark-prop-get bmk 'page))))] 3 (#$ . 8750)])
(defvar xwidget-webkit-last-session-buffer nil)
#@29 Last active webkit, or nil.
(defalias 'xwidget-webkit-last-session #[0 "\301!\205 rq\210\302e!)\207" [xwidget-webkit-last-session-buffer buffer-live-p xwidget-at] 2 (#$ . 9095)])
#@89 Either the webkit in the current buffer, or the last one used.
The latter might be nil.
(defalias 'xwidget-webkit-current-session #[0 "\300e!\206 \301 \207" [xwidget-at xwidget-webkit-last-session] 2 (#$ . 9283)])
#@32 Resize XW to content.
(fn XW)
(defalias 'xwidget-adjust-size-to-content #[257 "\300!\301@A@#\207" [xwidget-size-request xwidget-resize] 6 (#$ . 9504)])
#@43 javascript that finds the active element.
(defvar xwidget-webkit-activeelement-js "\nfunction findactiveelement(doc){\n//alert(doc.activeElement.value);\n if(doc.activeElement.value != undefined){\n return doc.activeElement;\n }else{\n // recurse over the child documents:\n var frames = doc.getElementsByTagName('frame');\n for (var i = 0; i < frames.length; i++)\n {\n var d = frames[i].contentDocument;\n var rv = findactiveelement(d);\n if(rv != undefined){\n return rv;\n }\n }\n }\n return undefined;\n};\n\n\n" (#$ . 9667))
#@85 Prompt for a string and insert it in the active field in the
current webkit widget.
(defalias 'xwidget-webkit-insert-string #[0 "\301 \302\303P\304\305\306\307\310!\311\"\312\313%#\207" [xwidget-webkit-activeelement-js xwidget-webkit-current-session xwidget-webkit-execute-script "\n(function () {\n var res = findactiveelement(document);\n return [res.value, res.type];\n})();" make-byte-code 257 "\301!\205? \211G\302\303\"\205= \304H\305H\211\306\267\202: \307\310\"\262\202; \311\312\313#\262\202; \314\300\"\262\202; \313\266\202\262\315\300\316\317\"\"\207" vconcat vector [vectorp eql 2 0 1 #s(hash-table size 3 test equal rehash-size 1.5 rehash-threshold 0.8125 purecopy t data ("text" 27 "password" 37 "textarea" 48)) read-string "Text: " read-passwd "Password: " nil xwidget-webkit-begin-edit-textarea xwidget-webkit-execute-script format "findactiveelement(document).value='%s'"] 9 "\n\n(fn FIELD)"] 10 (#$ . 10336) nil])
#@117 Start editing of a webkit text area.
XW is the xwidget identifier, TEXT is retrieved from the webkit.
(fn XW TEXT)
(defalias 'xwidget-webkit-begin-edit-textarea #[514 "\301\302\303!!\210\304\300!\210\211c\207" [xwidget-xwbl switch-to-buffer generate-new-buffer "textarea" make-local-variable] 5 (#$ . 11297)])
#@36 End editing of a webkit text area.
(defalias 'xwidget-webkit-end-edit-textarea #[0 "eb\210\301\302\303\304#\203 \305\306\303\304#\210\202 \307\310\311ed{\"\"\207" [xwidget-xwbl search-forward "\n" nil t replace-match "\\n" xwidget-webkit-execute-script format "findactiveelement(document).value='%s'"] 6 (#$ . 11616) nil])
#@185 Make webkit xwidget XW show a named element ELEMENT-SELECTOR.
The ELEMENT-SELECTOR must be a valid CSS selector. For example,
use this to display an anchor.
(fn XW ELEMENT-SELECTOR)
(defalias 'xwidget-webkit-show-element #[514 "\300\301\302\"\"\207" [xwidget-webkit-execute-script format "\n(function (query) {\n var el = document.querySelector(query);\n if (el !== null) {\n window.scrollTo(0, el.offsetTop);\n }\n})('%s');"] 7 (#$ . 11949) (byte-code "\300 \301\302!D\207" [xwidget-webkit-current-session read-string "Element selector: "] 3)])
#@125 Make webkit xwidget XW show a named element ELEMENT-NAME.
For example, use this to display an anchor.
(fn XW ELEMENT-NAME)
(defalias 'xwidget-webkit-show-named-element #[514 "\300\301\302\"\"\207" [xwidget-webkit-execute-script format "\n(function (query) {\n var el = document.getElementsByName(query)[0];\n if (el !== undefined) {\n window.scrollTo(0, el.offsetTop);\n }\n})('%s');"] 7 (#$ . 12512) (byte-code "\300 \301\302!D\207" [xwidget-webkit-current-session read-string "Element name: "] 3)])
#@119 Make webkit xwidget XW show an id-element ELEMENT-ID.
For example, use this to display an anchor.
(fn XW ELEMENT-ID)
(defalias 'xwidget-webkit-show-id-element #[514 "\300\301\302\"\"\207" [xwidget-webkit-execute-script format "\n(function (query) {\n var el = document.getElementById(query);\n if (el !== null) {\n window.scrollTo(0, el.offsetTop);\n }\n})('%s');"] 7 (#$ . 13029) (byte-code "\300 \301\302!D\207" [xwidget-webkit-current-session read-string "Element id: "] 3)])
#@126 Make webkit xwidget XW show a name or element id ELEMENT-ID.
For example, use this to display an anchor.
(fn XW ELEMENT-ID)
(defalias 'xwidget-webkit-show-id-or-named-element #[514 "\300\301\302\"\"\207" [xwidget-webkit-execute-script format "\n(function (query) {\n var el = document.getElementById(query) ||\n document.getElementsByName(query)[0];\n if (el !== undefined) {\n window.scrollTo(0, el.offsetTop);\n }\n})('%s');"] 7 (#$ . 13524) (byte-code "\300 \301\302!D\207" [xwidget-webkit-current-session read-string "Name or element id: "] 3)])
#@32 Adjust webkit to content size.
(defalias 'xwidget-webkit-adjust-size-to-content #[0 "\300\301 !\207" [xwidget-adjust-size-to-content xwidget-webkit-current-session] 2 (#$ . 14099) nil])
#@32 Adjust size according to mode.
(defalias 'xwidget-webkit-adjust-size-dispatch #[0 "\300\301 !\210\3021
\303 0\207\210\304\207" [xwidget-webkit-adjust-size-to-window xwidget-webkit-current-session (error) recenter-top-bottom nil] 2 (#$ . 14291) nil])
#@89 Adjust the size of the webkit XWIDGET to fit the WINDOW.
(fn XWIDGET &optional WINDOW)
(defalias 'xwidget-webkit-adjust-size-to-window #[513 "\300\301!\302!#\207" [xwidget-resize window-pixel-width window-pixel-height] 7 (#$ . 14548)])
#@58 Manually set webkit size to width W, height H.
(fn W H)
(defalias 'xwidget-webkit-adjust-size #[514 "\300\301 #\207" [xwidget-resize xwidget-webkit-current-session] 6 (#$ . 14794) "nWidth:\nnHeight:\n"])
#@41 Adjust width of webkit to window width.
(defalias 'xwidget-webkit-fit-width #[0 "\300\301\302 8\302 @Z\303\"\207" [xwidget-webkit-adjust-size 2 window-inside-pixel-edges 1000] 3 (#$ . 15007) nil])
#@72 Adjust the size of the webkit widget in the given WINDOW.
(fn WINDOW)
(defalias 'xwidget-webkit-auto-adjust-size #[257 "r\301!q\210\302=\205 \303 \304\"\262)\207" [major-mode window-buffer xwidget-webkit-mode xwidget-webkit-current-session xwidget-webkit-adjust-size-to-window] 5 (#$ . 15210)])
#@76 Dynamically adjust webkit widget for all windows of the FRAME.
(fn FRAME)
(defalias 'xwidget-webkit-adjust-size-in-frame #[257 "\300\301\302#\207" [walk-windows xwidget-webkit-auto-adjust-size no-minibuf] 5 (#$ . 15518)])
(byte-code "\300\301\302\303\304\"\"\207" [eval-after-load xwidget-webkit-mode add-to-list window-size-change-functions xwidget-webkit-adjust-size-in-frame] 5)
#@56 Create a new webkit session buffer with URL.
(fn URL)
(defalias 'xwidget-webkit-new-session #[257 "\301\302!\303\304\305!!\306c\210\307\310\311\312 \313 %\262\314\315\316#\210\317 \210\320\321 \"\207" [xwidget-webkit-last-session-buffer generate-new-buffer-name "*xwidget-webkit*" nil switch-to-buffer get-buffer-create " " xwidget-insert 1 webkit window-pixel-width window-pixel-height xwidget-put callback xwidget-webkit-callback xwidget-webkit-mode xwidget-webkit-goto-uri xwidget-webkit-last-session] 9 (#$ . 15908)])
#@21 Goto URL.
(fn URL)
(defalias 'xwidget-webkit-goto-url #[257 "\300 \203 \301\300 \"\207\302!\207" [xwidget-webkit-current-session xwidget-webkit-goto-uri xwidget-webkit-new-session] 4 (#$ . 16443)])
#@21 Go back in history.
(defalias 'xwidget-webkit-back #[0 "\300\301 \302\"\207" [xwidget-webkit-execute-script xwidget-webkit-current-session "history.go(-1);"] 3 (#$ . 16651) nil])
#@21 Reload current url.
(defalias 'xwidget-webkit-reload #[0 "\300\301 \302\"\207" [xwidget-webkit-execute-script xwidget-webkit-current-session "history.go(0);"] 3 (#$ . 16836) nil])
#@51 Get the webkit url and place it on the kill-ring.
(defalias 'xwidget-webkit-current-url #[0 "\300\301 \302\303#\207" [xwidget-webkit-execute-script xwidget-webkit-current-session "document.URL" #[257 "\300\206 \301!\302\303\"\207" [kill-new "" message "url: %s"] 5 "\n\n(fn RV)"]] 4 (#$ . 17022) nil])
#@58 Get the webkit selection and pass it to PROC.
(fn PROC)
(defalias 'xwidget-webkit-get-selection #[257 "\300\301 \302#\207" [xwidget-webkit-execute-script xwidget-webkit-current-session "window.getSelection().toString();"] 5 (#$ . 17333)])
#@55 Get the webkit selection and put it on the kill-ring.
(defalias 'xwidget-webkit-copy-selection-as-kill #[0 "\300\301!\207" [xwidget-webkit-get-selection #[257 "\300!\207" [kill-new] 3 "\n\n(fn SELECTION)"]] 2 (#$ . 17580) nil])
#@151 Get an xwidget's property value.
XWIDGET is an xwidget, PROPNAME a property.
Returns the last value stored with `xwidget-put'.
(fn XWIDGET PROPNAME)
(defalias 'xwidget-get #[514 "\300\301!\"\207" [plist-get xwidget-plist] 5 (#$ . 17816)])
#@183 Set an xwidget's property value.
XWIDGET is an xwidget, PROPNAME a property to be set to specified VALUE.
You can retrieve the value with `xwidget-get'.
(fn XWIDGET PROPNAME VALUE)
(defalias 'xwidget-put #[771 "\300\301\302!#\"\207" [set-xwidget-plist plist-put xwidget-plist] 9 (#$ . 18065)])
#@31 Helper for `xwidget-cleanup'.
(defalias 'xwidget-delete-zombies #[0 "\211\205\" \211@\302\303!!\203 \304! >\204 \305!\210A\266\202\202 \207" [xwidget-view-list xwidget-list window-live-p xwidget-view-window xwidget-view-model delete-xwidget-view] 5 (#$ . 18371)])
#@25 Delete zombie xwidgets.
(defalias 'xwidget-cleanup #[0 "\300 \210\301 \207" [xwidget-delete-zombies redraw-display] 1 (#$ . 18649) nil])
#@48 Ask before killing a buffer that has xwidgets.
(defalias 'xwidget-kill-buffer-query-function #[0 "\300p!\211?\206 \301\302\303\">?\206 \304\305\306\307 \"!\207" [get-buffer-xwidgets t mapcar xwidget-query-on-exit-flag yes-or-no-p format "Buffer %S has xwidgets; kill it? " buffer-name] 5 (#$ . 18792)])
(byte-code "\300\301!\203 \302\303\304\"\210\302\305\306\"\210\307\310!\207" [featurep xwidget-internal add-hook kill-buffer-query-functions xwidget-kill-buffer-query-function window-configuration-change-hook xwidget-delete-zombies provide xwidget] 3)
Zerion Mini Shell 1.0