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