TenjintShell.extra_open_editor_shortcuts

TenjintShell.extra_open_editor_shortcuts

A boolean (True, False) trait.