##// END OF EJS Templates
Merge pull request #2346 from xeor/master...
Merge pull request #2346 from xeor/master Extra xterm identification in set_term_title Many times, xterm represent itself as "xterm-256color" instead of "xterm-color". This makes set_term_title not work at all. This is a simple patch to add everything that started with "xterm" to the list of TERM environments that should use the xterm way of changing the title.
Bussonnier Matthias -
r8361:e93fd050 merge
Show More
Name Size Modified Last Commit Author
/ docs / attic
COPYING Loading ...
ChangeLog Loading ...
ipnb_google_soc.lyx Loading ...
ipython-wx.1 Loading ...
ipythonx.1 Loading ...
nbexample.py Loading ...
nbexample_latex.py Loading ...
nbexample_output.py Loading ...
new_design.lyx Loading ...