ui: add diff/editor fields to the options gui
commit73f3d7f47075e0e710248324257ffd1d78b3191c
authorDavid Aguilar <davvid@gmail.com>
Tue, 3 Jun 2008 09:30:56 +0000 (3 02:30 -0700)
committerDavid Aguilar <davvid@gmail.com>
Tue, 3 Jun 2008 09:30:56 +0000 (3 02:30 -0700)
treeb9c015021a74133f052f55c3639bc31a1344b570
parent9a51e1e20884904c2eeb882c66577b2be6754501
ui: add diff/editor fields to the options gui

Signed-off-by: David Aguilar <davvid@gmail.com>
ui/options.ui