Skip to content
Snippets Groups Projects
  1. Dec 19, 2017
  2. Nov 23, 2017
  3. Nov 05, 2017
  4. Jun 28, 2017
  5. May 12, 2017
  6. May 05, 2017
  7. Apr 01, 2017
  8. Mar 31, 2017
    • George Nachman's avatar
      Update OSC 8 to require parameters prior to the URL. A difference in... · 037cb5c2
      George Nachman authored
      Update OSC 8 to require parameters prior to the URL. A difference in parameters prevents hover-underlining together.
      
      The new syntax is:
      
      OSC 8 ; params ; url ST
      
      params are (for now) space delimited ASCII and may not contain a ;.
      url is a URL. I'm more accepting that I have to be and will take UTF-8 encoded URLs that aren't properly percent-escaped.
      037cb5c2
  9. Mar 21, 2017
  10. Mar 20, 2017
  11. Mar 14, 2017
  12. Mar 03, 2017
  13. Feb 26, 2017
  14. Feb 20, 2017
  15. Feb 10, 2017
  16. Feb 03, 2017
  17. Jan 04, 2017
  18. Jan 02, 2017
  19. Jan 01, 2017
  20. Dec 30, 2016
  21. Dec 24, 2016
  22. Dec 23, 2016
  23. Dec 09, 2016
  24. Oct 22, 2016
  25. Aug 19, 2016
  26. Aug 08, 2016
    • George Nachman's avatar
      Add support for Unicode 9 as an option, but it's off by default. This is based... · 330fcf81
      George Nachman authored
      Add support for Unicode 9 as an option, but it's off by default. This is based on Keno Fischer's work in pull request 294. It adds a new escape sequence: "OSC 1337 ; UnicodeVersion= Ps ST" where Ps is a number (8 or 9, presently) to switch to; 0 for the terminal's default (currently 8; I'm not sure this is very useful, though, since it loses the profile's preferred version--better to use the stack or DECSC/DECRC described later); push to save the current value onto a stack; pop to pull the last value off the stack. The unicode version is also saved and restored with the cursor (affected by DECSC, DECRC, and DECSET 1049). The unicode version and stack are saved and restored along with the rest of the terminal's state using window state restoration. Additionally, a new setting was added under Prefs/Profiles/Text to set the initial unicode version for the profile.
      330fcf81
  27. Jul 03, 2016
  28. Jun 21, 2016
  29. May 03, 2016
  30. Apr 14, 2016
  31. Mar 29, 2016
  32. Mar 21, 2016
Loading