Skip to content
Snippets Groups Projects
  1. Nov 19, 2022
  2. Nov 17, 2022
    • Jonathan Ming's avatar
      Instead of opening tuntox buffer, use messages · a8c1874a
      Jonathan Ming authored
      
      The *Tuntox Proxy* buffer is mostly useful to those who know about the
      low-level operation of crdt.el. So, instead of always opening that
      process buffer when it is created, leave the process buffer in the
      background and use process filters to post more user-friendly
      notifications about tuntox connection status to *Messages*.
      
      I'm not that familiar with process filters, but I saw that overriding
      the default filter causes the buffer to no longer get updated by
      default, so I copied the way the crdt-connect tuntox filter writes to
      the process buffer into crdt-new-session as well.
      
      Co-authored-by: default avatarArte Ebrahimi <arteebrahimi@gmail.com>
      a8c1874a
  3. Nov 04, 2022
  4. Aug 28, 2022
  5. Aug 27, 2022
  6. Aug 26, 2022
  7. Aug 18, 2022
    • Qiantan Hong's avatar
      v0.3.2 · 2feb88ea
      Qiantan Hong authored
      - add crdt-toggle-override-command
      - fix network coding, always use utf-8
      2feb88ea
  8. Aug 16, 2022
  9. Jul 03, 2022
  10. Feb 24, 2022
  11. Feb 05, 2022
  12. Feb 04, 2022
  13. Feb 03, 2022
  14. Dec 17, 2021
  15. Dec 16, 2021
  16. Dec 14, 2021
  17. Dec 10, 2021
  18. Dec 06, 2021
    • Jimmy Miller's avatar
    • Qiantan Hong's avatar
      Lots of changes · 569486e6
      Qiantan Hong authored
      ** DONE Track authorship in-buffer via properties
         ~crdt-visualize-author-mode~ UI
      ** DONE Make interactive changes to crdt-version and crdt-connect
      ** DONE Stop leaking ip address
      ** DONE Investigate why xref-find-definitions causes error
      ** DONE Figure out the code for colouring selection colours from
         ‘default’s :background
      
      - gracefully degrade when TLS handshake fail (I hope it works)
      - remove session name settings
      569486e6
  19. Dec 02, 2021
  20. Nov 21, 2021
  21. Oct 10, 2021
  22. Oct 08, 2021
  23. Oct 01, 2021
Loading