[PATCH] gitk: Added option 'Simple history' to the options menu

[Dirk Suesserott <newsletter@dirk.my1.cc>]

When clicked, the option --simplify-by-decoration is added to gitk/git log.
This yields to a simplified history where only decorated commits are shown,
i.e. those with a yellow tag or a green branch flag.

Signed-off-by: Dirk Suesserott <newsletter@dirk.my1.cc>
---
 gitk-git/gitk |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/gitk-git/gitk b/gitk-git/gitk
index 1a7887b..f65cf2c 100644
--- a/gitk-git/gitk
+++ b/gitk-git/gitk
@@ -3676,6 +3676,7 @@ set known_view_options {
     {all     b    * "--all"          {mc "Use all refs"}}
     {dorder  b    . {"--date-order" "-d"}      {mc "Strictly sort by date"}}
     {lright  b    . "--left-right"   {mc "Mark branch sides"}}
+    {smplhst b    . "--simplify-by-decoration"   {mc "Simple history"}}
     {since   t15  + {"--since=*" "--after=*"}  {mc "Since date:"}}
     {until   t15  . {"--until=*" "--before=*"} {mc "Until date:"}}
     {limit   t10  + "--max-count=*"  {mc "Max count:"}}
-- 
1.6.1.9.g97c34