diff options
| author |  Shawn O. Pearce <spearce@spearce.org> | 2007-06-11 02:14:21 -0400 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2007-06-11 02:14:21 -0400 |
| commit | 32af629ab57869f96f282e7f7839e84d1b8e22ca (patch) | |
| tree | 3c69e00b577cf5872c4ca6474262f4f595030d6b /lib/option.tcl | |
| parent | Merge branch 'maint' (diff) | |
| parent | git-gui: Changed blame header bar background to match main window (diff) | |
| download | tgif-32af629ab57869f96f282e7f7839e84d1b8e22ca.tar.xz | |
Merge branch 'maint'
* maint: (38 commits)
git-gui: Changed blame header bar background to match main window
git-gui: Favor the original annotations over the recent ones
git-gui: Improve our labeling of blame annotation types
git-gui: Use three colors for the blame viewer background
git-gui: Jump to original line in blame viewer
git-gui: Display both commits in our tooltips
git-gui: Run blame twice on the same file and display both outputs
git-gui: Display the "Loading annotation..." message in italic
git-gui: Rename fields in blame viewer to better descriptions
git-gui: Label the uncommitted blame history entry
git-gui: Switch internal blame structure to Tcl lists
git-gui: Cleanup redundant column management in blame viewer
git-gui: Better document our blame variables
git-gui: Remove unused commit_list from blame viewer
git-gui: Automatically expand the line number column as needed
git-gui: Make the line number column slightly wider in blame
git-gui: Use lighter colors in blame view
git-gui: Remove unnecessary space between columns in blame viewer
git-gui: Remove the loaded column from the blame viewer
git-gui: Clip the commit summaries in the blame history menu
...
Diffstat (limited to 'lib/option.tcl')
| -rw-r--r-- | lib/option.tcl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/option.tcl b/lib/option.tcl index ba2a723fce..ae19a8f9cf 100644 --- a/lib/option.tcl +++ b/lib/option.tcl @@ -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) |