diff options
| author | Joakim Verona | 2015-01-26 21:56:44 +0100 |
|---|---|---|
| committer | Joakim Verona | 2015-01-26 21:56:44 +0100 |
| commit | f93da81268bb784d51d83db9413a6e9259aacfe1 (patch) | |
| tree | 560ff74636a5a35e99a57814a2e7b6aef4bc3035 | |
| parent | 8a6a92fe12f30c75af9b9b22266a56d27916a395 (diff) | |
| download | emacs-f93da81268bb784d51d83db9413a6e9259aacfe1.tar.gz emacs-f93da81268bb784d51d83db9413a6e9259aacfe1.zip | |
added hint to webkit buffer
| -rw-r--r-- | lisp/xwidget.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lisp/xwidget.el b/lisp/xwidget.el index e58ddcf5272..4ea21396103 100644 --- a/lisp/xwidget.el +++ b/lisp/xwidget.el | |||
| @@ -396,7 +396,7 @@ XW is the xwidget identifier, TEXT is retrieved from the webkit." | |||
| 396 | ) | 396 | ) |
| 397 | 397 | ||
| 398 | (defun xwidget-webkit-adjust-size-to-window () | 398 | (defun xwidget-webkit-adjust-size-to-window () |
| 399 | "Adjust webkit to window."m | 399 | "Adjust webkit to window." |
| 400 | (interactive) | 400 | (interactive) |
| 401 | (xwidget-resize ( xwidget-webkit-current-session) (window-pixel-width) (window-pixel-height))) | 401 | (xwidget-resize ( xwidget-webkit-current-session) (window-pixel-width) (window-pixel-height))) |
| 402 | 402 | ||
| @@ -421,7 +421,7 @@ Argument H height." | |||
| 421 | ((bufname (generate-new-buffer-name "*xwidget-webkit*")) | 421 | ((bufname (generate-new-buffer-name "*xwidget-webkit*")) |
| 422 | xw) | 422 | xw) |
| 423 | (setq xwidget-webkit-last-session-buffer (switch-to-buffer (get-buffer-create bufname))) | 423 | (setq xwidget-webkit-last-session-buffer (switch-to-buffer (get-buffer-create bufname))) |
| 424 | (insert " ") | 424 | (insert " 'a' adjusts the xwidget size.") |
| 425 | (setq xw (xwidget-insert 1 'webkit-osr bufname 1000 1000)) | 425 | (setq xw (xwidget-insert 1 'webkit-osr bufname 1000 1000)) |
| 426 | (xwidget-put xw 'callback 'xwidget-webkit-callback) | 426 | (xwidget-put xw 'callback 'xwidget-webkit-callback) |
| 427 | (xwidget-webkit-mode) | 427 | (xwidget-webkit-mode) |