1 100 1 1 10 True False window1 True False 12 18 True False vertical 18 True False vertical 6 True False start Syntax Highlighting False False 0 Print synta_x highlighting True True False start 12 True True False True 1 False True 0 True False vertical 6 True False start Line Numbers False False 0 True False 12 vertical 6 Print line nu_mbers True True False start True True False False 0 True False 6 True False _Number every True line_numbers_spinbutton False False 0 True True adjustment1 1 False False 1 True False lines False False 2 False False 1 False True 1 False True 1 True False vertical 6 True False start Text Wrapping False False 0 True False 12 vertical 6 Enable text _wrapping True True False start True True False False 0 True False Do not _split words over two lines True True False start True True False False 0 False True 1 False True 1 False False 2 True False vertical 6 True False start Page header False False 0 Print page _headers True True False start 12 True True False True 1 False True 3 False True 0 True False vertical 18 True False vertical 6 True False start Fonts False False 0 True False 12 vertical 12 True False 12 12 True False start _Body: True body_fontbutton 0 0 True True False Sans 12 True False 1 0 True True False Sans 12 True False 1 1 True True False Sans 12 True False 1 2 True False start He_aders and footers: True headers_fontbutton 0 2 True False start _Line numbers: True numbers_fontbutton 0 1 False True 0 True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK end _Restore Default Fonts True True False True False False 0 False True 1 False True 1 False True 0 False False 1