Code

Merge branch 'maint'
[git.git] / lib / option.tcl
index ba2a723fce1b1cef8f4fc166e60e842e63c9842d..ae19a8f9cf3901a808c85f0c028fbf44813d30b5 100644 (file)
@@ -15,6 +15,9 @@ proc save_config {} {
                font configure ${font}bold \
                        -family $global_config_new(gui.$font^^family) \
                        -size $global_config_new(gui.$font^^size)
+               font configure ${font}italic \
+                       -family $global_config_new(gui.$font^^family) \
+                       -size $global_config_new(gui.$font^^size)
                set global_config_new(gui.$name) [font configure $font]
                unset global_config_new(gui.$font^^family)
                unset global_config_new(gui.$font^^size)