1 100 1 1 10 True False window1 True False 12 18 True False vertical 18 True False vertical 6 True False 0 Syntax Highlighting False False 0 Print synta_x highlighting False True True False 12 True True False True 1 False True 0 True False vertical 6 True False 0 Line Numbers False False 0 True False 12 vertical 6 Print line nu_mbers False True True False True True False False 0 True False 6 True False 0.47999998927116394 _Number every True line_numbers_spinbutton False False 0 True True adjustment1 1 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 0 Text Wrapping False False 0 True False 12 vertical 6 Enable text _wrapping False True True False True True False False 0 True False Do not _split words over two lines False True True False True True False False 0 False True 1 False True 1 False False 2 True False vertical 6 True False 0 Page header False False 0 Print page _headers False True True False 12 True True False True 1 False True 3 False True 0 True False vertical 18 True False vertical 6 True False 0 Fonts False False 0 True False 12 vertical 12 True False 12 12 True False 0 _Body: True body_fontbutton 0 0 False True True True Sans 12 False True False 1 0 True False 0 _Line numbers: True numbers_fontbutton 0 1 False True True True Sans 12 False True False 1 1 True False 0 He_aders and footers: True headers_fontbutton 0 2 False True True True Sans 12 False True False 1 2 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 False True True False True False False 0 False True 1 False True 1 False True 0 False False 1