Skip to content
Snippets Groups Projects
  1. Nov 30, 2017
  2. Nov 24, 2017
  3. Nov 04, 2017
  4. Oct 18, 2017
  5. Sep 20, 2017
  6. Aug 12, 2017
  7. Jul 24, 2017
  8. Jul 16, 2017
  9. Jul 14, 2017
  10. Jul 04, 2017
  11. Jul 02, 2017
  12. Jul 01, 2017
  13. Jun 10, 2017
  14. May 05, 2017
  15. Jan 29, 2017
  16. Jan 22, 2017
  17. Jan 20, 2017
  18. Dec 21, 2016
  19. Nov 26, 2016
  20. Nov 24, 2016
  21. Nov 10, 2016
  22. Oct 07, 2016
  23. Oct 06, 2016
  24. Sep 10, 2016
  25. Sep 05, 2016
  26. Aug 14, 2016
  27. 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
  28. Jul 16, 2016
  29. Jul 05, 2016
  30. May 26, 2016
  31. May 16, 2016
  32. Apr 22, 2016
  33. Mar 28, 2016
Loading