back to disqus, fixed org company symbols

Joel Grunbaum

2020-04-01 1005e3c9984bd07841c8ad070d963b52d0b6a3e3

back to disqus, fixed org company symbols

 config.org

@@ -656,6 +656,12 @@
      (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.

@@ -913,13 +919,15 @@
    :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

@@ -1253,22 +1261,18 @@
        <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