git-gui: Corrected font used for options menu items.

diff --git a/TODO b/TODO
index 136e87849c4dbd9255fba2927784277e2bfd892a..bb40a13bee4ccc819a0de734b4663ba6250e6f85 100644 (file)
--- a/TODO
+++ b/TODO
@@ -10,6 +10,8 @@ Items outstanding:
 
  * Add file to .gitignore or info/excludes.
 
+ * Make initial commits work (currently it crashes the UI).
+
  * Populate the pull menu with local branches.
 
  * Make use of the new default merge data stored in repo-config.
@@ -20,9 +22,6 @@ Items outstanding:
 
  * Delete a local branch.
 
- * Store user preferences (like font, window layout) in global
-   repo-config.
-
  * Allow user to define keyboard shortcuts for frequently used fetch
    or merge operations.  Or maybe just define a keyboard shortcut
    for default fetch/default merge of current branch is enough;