I just added a minimal tag browser UI. Still need to use the API to
add/remove tags. I have an idea for a more fully-featured UI I'd like
to hack together. In theory, it wouldn't care whether or not the tags
were short or long, as it'd all be done in a tab in the log pane, much
like the 'nav' tab.
-->Jake
On 8/4/2014 1:29 PM, 'Terry Brown' via leo-editor wrote:
On Mon, 04 Aug 2014 11:53:07 -0400
Jacob Peck <[email protected]> wrote:
Regarding tags, I hacked the nodetags.py plugin together, available
at commit b9a764c59de263fbdb47969f1d318759b955c442.
Nice.
Interface wise, what do people think about short and long names for
tags? Even as I ask, I suspect that's more burden that people will
want. Some visual interface options would work with 'spr', but not
"St-Petersburg-Russia".
This thread that Dufriz (thanks) dug up:
https://groups.google.com/forum/#!searchin/leo-editor/tags/leo-editor/PH0XoWg-b0k/J6_LwIzMx-gJ
covers some of the interface options. The more I think about Ville's
new column in the tree display idea the less I'm sure I see the use
case, even though it seemed interesting at first ;-)
With a UI more like bookmarks.py (see first post in thread), longer tag
names are probably not an issue.
Cheers -Terry
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.