##// END OF EJS Templates
Ensure console widget object always has _display_banner attribute
Thomas Kluyver -
Show More
@@ -82,6 +82,8 class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):
82 # The text to show when the kernel is (re)started.
82 # The text to show when the kernel is (re)started.
83 banner = Unicode(config=True)
83 banner = Unicode(config=True)
84 kernel_banner = Unicode()
84 kernel_banner = Unicode()
85 # Whether to show the banner
86 _display_banner = Bool(False)
85
87
86 # An option and corresponding signal for overriding the default kernel
88 # An option and corresponding signal for overriding the default kernel
87 # interrupt behavior.
89 # interrupt behavior.
General Comments 0
You need to be logged in to leave comments. Login now