| | |
| | | (spaceline-helm-mode))
|
| | | #+END_SRC
|
| | |
|
| | | *** Separator
|
| | | Slightly nicer separator.
|
| | | #+BEGIN_SRC emacs-lisp
|
| | | (setq powerline-default-separator nil)
|
| | | #+END_SRC
|
| | |
|
| | | * Programming tweaks
|
| | | ** Yasnippet
|
| | | Add snippets, pretty useful.
|
| | |
| | | :ensure t
|
| | | :after company
|
| | | :config
|
| | | (add-to-list 'company-backends 'company-math-symbols-unicode))
|
| | | (add-to-list 'company-backends '(company-math-symbols-unicode company-math-symbols-latex
|
| | | compant-latex-commands))
|
| | | (setq company-math-allow-latex-symbols-in-faces t))
|
| | |
|
| | | (use-package company-reftex
|
| | | :ensure t
|
| | | :after company
|
| | | :config
|
| | | (add-to-list 'company-backends 'company-reftex))
|
| | | (add-to-list 'company-backends 'company-reftex-citations))
|
| | |
|
| | | (use-package company-auctex
|
| | | :ensure t
|
| | |
| | | <a href=\"https://blog.joelg.cf/archive.html\">Other posts</a>
|
| | | </div>
|
| | | <br>
|
| | | <script data-isso=\"//commento.joelg.cf/\"
|
| | | src=\"//commento.joelg.cf/js/embed.min.js\"></script>
|
| | | <section id=\"isso-thread\"></section>")
|
| | | ;; <center><button id=\"disqus_button\" onclick=\"load_disqus()\">Load Disqus Comments</button></center>
|
| | | ;; <div id=\"disqus_thread\"></div>
|
| | | ;; <script type=\"text/javascript\">
|
| | | ;; function load_disqus() {
|
| | | ;; var dsq = document.createElement('script');
|
| | | ;; dsq.type = 'text/javascript';
|
| | | ;; dsq.async = true;
|
| | | ;; dsq.src = 'https://joelg-cf.disqus.com/embed.js';
|
| | | ;; (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
|
| | | ;; document.getElementById('disqus_button').style.visibility = 'hidden';
|
| | | ;; };
|
| | | ;; </script>")
|
| | | )
|
| | | <center><button id=\"disqus_button\" onclick=\"load_disqus()\">Load Disqus Comments</button></center>
|
| | | <div id=\"disqus_thread\"></div>
|
| | | <script type=\"text/javascript\">
|
| | | function load_disqus() {
|
| | | var dsq = document.createElement('script');
|
| | | dsq.type = 'text/javascript';
|
| | | dsq.async = true;
|
| | | dsq.src = 'https://joelg-cf.disqus.com/embed.js';
|
| | | (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
|
| | | document.getElementById('disqus_button').style.visibility = 'hidden';
|
| | | };
|
| | | </script>"))
|
| | | #+END_SRC
|
| | |
|
| | | ** Sitemap addition
|