darcs patch: Automatically highlight default options of a CommandUI...

21 Mar 2008

      Fri Mar 21 11:52:10 CET 2008  Pepe Iborra 
  * Automatically highlight default options of a CommandUI when converting it to a list of GetOpts

  I shamelessly stole some code from GHCi for the highlighting.