diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2010-12-28 15:10:37 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2010-12-28 15:15:58 +0100 |
commit | d2dfddb854d66977f8b30d9fa118a704dd8dfc12 (patch) | |
tree | 35bc2b6dbbe3f30750c5547fffee27935a49fc1c /unofficial | |
parent | e079b88505229fe79bd03a3c542f277ffaa4c30e (diff) |
manage $EDITOR more properly
since 3cee8e663a4da69456b493acccbda27064209a35 libui-sh can manage the
$EDITOR preference, so we can simplify and cleanup our code.
we now also explicitly enable the user to change
$EDITOR in the interactive procedure even when it is already set correctly,
so there is a new menu entry for that.
Diffstat (limited to 'unofficial')
0 files changed, 0 insertions, 0 deletions