##// END OF EJS Templates
Merge pull request #9801 from takluyver/i9722...
Min RK -
r22716:36e8918b merge
parent child Browse files
Show More
@@ -70,6 +70,11 b' class InteractiveShellEmbed(TerminalInteractiveShell):'
70 display_banner = CBool(True)
70 display_banner = CBool(True)
71 exit_msg = Unicode()
71 exit_msg = Unicode()
72
72
73 # When embedding, by default we don't change the terminal title
74 term_title = Bool(False,
75 help="Automatically set the terminal title"
76 ).tag(config=True)
77
73 _inactive_locations = set()
78 _inactive_locations = set()
74
79
75 @property
80 @property
General Comments 0
You need to be logged in to leave comments. Login now