#### Properties: rubyide_gui-editpane - Version: 1.0
properties: 
"|": 
  - settings: 
    "|": 
      - whitespace_visible: false
      - linenumbers_visible: true
      - eol_visible: false