old_contents: import prefs
  
  class SnakedConf(prefs.PySettings):
      DISABLE_LEFT_CLICK = False
      DISABLE_LEFT_CLICK_DOC = 'Disable left mouse button handling in editor view'
  
      RESTORE_POSITION = True
      RESTORE_POSITION_DOC = 'Restore snaked window position'
  
      LAST_POSITION = None
      LAST_POSITION_DOC = 'Tuple of ((x,y), (w,h)) last window position'
  
      FULLSCREEN = False
      FULLSCREEN_DOC = 'State of fullscreen mode'
  
      SHOW_TABS = True
      SHOW_TABS_DOC = 'State of tabs visibility'
  
      TAB_BAR_PLACEMENT = 'top'
      TAB_BAR_PLACEMENT_DOC = 'Tab bar placement position. One of "top", "bottom", "left", "right"'
  
      OPENED_FILES = []
      OPENED_FILES_DOC = 'Last opened files'
  
      ACTIVE_FILE = ''
      ACTIVE_FILE_DOC = 'Last active file'
  
      MODIFIED_FILES = None
      MODIFIED_FILES_DOC = 'Backup content for modified files'
  
      PANEL_HEIGHT = 200
      PANEL_HEIGHT_DOC = "Console, test and other panels height"
  
      CONSOLE_FONT = "Monospaced 8"
      CONSOLE_FONT_DOC = "Font used for console display"
  
      MIMIC_PANEL_COLORS_TO_EDITOR_THEME = True
      MIMIC_PANEL_COLORS_TO_EDITOR_THEME_DOC = "Try to apply editor color theme to various panels"
  
  
  def add_option(name, default, doc=None):
      setattr(SnakedConf, name, default)
      if doc:
          setattr(SnakedConf, name+'_doc', doc)
  
new_contents: import prefs
  
  class SnakedConf(prefs.PySettings):
      DISABLE_LEFT_CLICK = False
      DISABLE_LEFT_CLICK_DOC = 'Disable left mouse button handling in editor view'
  
      RESTORE_POSITION = True
      RESTORE_POSITION_DOC = 'Restore snaked window position'
  
      LAST_POSITION = None
      LAST_POSITION_DOC = 'Tuple of ((x,y), (w,h)) last window position'
  
      FULLSCREEN = False
      FULLSCREEN_DOC = 'State of fullscreen mode'
  
      SHOW_TABS = True
      SHOW_TABS_DOC = 'State of tabs visibility'
  
      TAB_BAR_PLACEMENT = 'top'
      TAB_BAR_PLACEMENT_DOC = 'Tab bar placement position. One of "top", "bottom", "left", "right"'
  
      OPENED_FILES = []
      OPENED_FILES_DOC = 'Last opened files'
  
      ACTIVE_FILE = ''
      ACTIVE_FILE_DOC = 'Last active file'
  
      MODIFIED_FILES = None
      MODIFIED_FILES_DOC = 'Backup content for modified files'
  
      PANEL_HEIGHT = 200
      PANEL_HEIGHT_DOC = "Console, test and other panels height"
  
      CONSOLE_FONT = "Monospace 8"
      CONSOLE_FONT_DOC = "Font used for console display"
  
      MIMIC_PANEL_COLORS_TO_EDITOR_THEME = True
      MIMIC_PANEL_COLORS_TO_EDITOR_THEME_DOC = "Try to apply editor color theme to various panels"
  
  
  def add_option(name, default, doc=None):
      setattr(SnakedConf, name, default)
      if doc:
          setattr(SnakedConf, name+'_doc', doc)
  
subject: fix typo in default console font name