Chobbes

Keybase proof

I hereby claim:

• I am chobbes on github.
• I am chobbes (https://keybase.io/chobbes) on keybase.
• I have a public key whose fingerprint is F9B2 924F 3E05 A6CA 4E56 9C4E FB00 A0DD A3E3 B84C

To claim this, I am signing this object:

Chobbes

(defun retract-same-position ()
  "Call proof-retract-buffer, but retain position"
  (interactive)
  (push-mark)
  (proof-retract-buffer)
  (pop-mark))

Chobbes

(defun proof-assert-after-next-command ()
  (interactive)
  (proof-assert-next-command-interactive)
  (let* ((segment (car (proof-segment-up-to-using-cache (point))))
        (type (car segment))
        (command-end (- (caddr segment) (if (eq type 'comment) 2 1))))
    (goto-char command-end)))

(eval-after-load "proof-script"
  '(progn

Chobbes

(define-prefix-command 'tmux-map)
(global-set-key (kbd "C-o") 'tmux-map)

(defun split-window-right-and-focus ()
  (interactive)
  (select-window (split-window-right)))

(defun split-window-below-and-focus ()
  (interactive)
  (select-window (split-window-below)))

Chobbes

;; Open a file in fundamental mode.
(defun find-fundamental ()
  (interactive)
  (cl-letf (((symbol-function 'normal-mode) #'fundamental-mode))
    (call-interactively 'find-file)))