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