0desktop sets the Terminal flag correctly
commitd2b49e7d450b394d72c2de2b2ff36d51da80b926
authorThomas Leonard <talex5@gmail.com>
Sun, 6 Sep 2009 13:13:27 +0000 (6 14:13 +0100)
committerThomas Leonard <talex5@gmail.com>
Sun, 6 Sep 2009 13:32:49 +0000 (6 14:32 +0100)
tree96c9af0cf7f603b122bc74cc8e4f51a7efec68af
parent0265b04bbd49b6ab706ee50f826c41c487262158
0desktop sets the Terminal flag correctly

If a feed declares <needs-terminal/> then put Terminal=true in the
.desktop file we generate.

This got lost somehow when zero2desktop became 0desktop.

Also, running a program from the 0manage window tries to locate a suitable
terminal emulator if one is needed.
zeroinstall/gtkui/applistbox.py
zeroinstall/gtkui/xdgutils.py