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