Joe Corneli

k2edit plugin not working well with gmail

1

Here on Github, if I type "foo" and hit the control (C-i) key, I pop up a text area and start editing and all is working pretty much fine!! However,...

Here's what I'm seeing when I run the quickstart example ``` clojure (with-open [in (clojure.java.io/input-stream "README.md") out (clojure.java.io/output-stream "line_count.txt")] (->pipe-> in [(exec ["grep" "java"]) (exec ["wc" "-l"])] out)) ;=> #pipes.job/job-ctl/reify--21836[{:status...

commit: 182c18 Build system: i386-apple-darwin17.7.0 SBCL: 1.4.11.68-9456dfc60 I've run `autoconf`, `./configure` and `make`. I get the following error. I pressed "1" to ignore the error and continue. That looks to...

Hi, I created a simple project to test out `mathlib`. It was working initially but revisiting the test file later, I got an error message: > Warning (flycheck): Syntax checker...

helm-org-in-buffer-headings does not work inside src blocks

3

I'm using `(setq org-src-fontify-natively t)`. I've noticed that `helm-org-in-buffer-headings` works when point is outside of a src block but not when it is inside. # Illustration: Here it queries for...

Configurable storage backend

1

This is also discussed in [this ticket](https://github.com/jeffWelling/ticgit/issues/52), but I am giving it its own home. I'm experimenting with a dedicated "mob" branch (http://repo.or.cz/h/mob.html) and it would be nice to have...

Docs: Does ticgit-ng have a ticgit-ng branch?

3

It seems not? Can someone adjust [the documentation](https://github.com/jeffWelling/ticgit#getting-the-ticgit-ng-ticgit-ng-branch) appropriately?

cool! how to replace all dialogs w/ this?

1

Hi, what would be the needed glue code to replace standard dialog boxes w/ these native ones across the board?

hercules + evil causes breakage

1

Hi, I love the idea of using Hercules together with Evil to learn my way around the new set of bindings. And it almost works! Here's a screenshot set up...

some HoTT linking issues

1

Just putting these here so they don't get lost - I imagine they will be resolved in the course of current work on link accuracy. https://groups.google.com/forum/#!topic/homotopytypetheory/tZMQEa7y35k http://nforum.mathforge.org/discussion/5025/homotopy-type-theory-univalent-foundations-of-mathematics/?Focus=44415#Comment_44415