##// END OF EJS Templates
Merge pull request #9231 from takluyver/no-guiref...
Min RK -
r22088:4db2575e merge
parent child Browse files
Show More
@@ -336,10 +336,6 b" help -> Python's own help system."
336 object? -> Details about 'object', use 'object??' for extra details.
336 object? -> Details about 'object', use 'object??' for extra details.
337 """
337 """
338
338
339 gui_note = """\
340 %guiref -> A brief reference about the graphical user interface.
341 """
342
343 default_banner_parts = [
339 default_banner_parts = [
344 'Python %s\n' % (sys.version.split('\n')[0],),
340 'Python %s\n' % (sys.version.split('\n')[0],),
345 'Type "copyright", "credits" or "license" for more information.\n\n',
341 'Type "copyright", "credits" or "license" for more information.\n\n',
@@ -349,8 +345,4 b' default_banner_parts = ['
349 quick_guide
345 quick_guide
350 ]
346 ]
351
347
352 default_gui_banner_parts = default_banner_parts + [gui_note]
353
354 default_banner = ''.join(default_banner_parts)
348 default_banner = ''.join(default_banner_parts)
355
356 default_gui_banner = ''.join(default_gui_banner_parts)
General Comments 0
You need to be logged in to leave comments. Login now