-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: Conal-Tuohy/jEdit-TEIPlugin
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
If TEI menu is docked to the Left its width becomes unusable.
#23
opened Jun 29, 2020 by
jamescummings
More padding around element / attribute names in dropdown boxes.
XML Plugin
Requires change to XML Plugin
#22
opened Jun 29, 2020 by
jamescummings
Wiki page installation instructions should give more detail/links
#19
opened Jun 29, 2020 by
jamescummings
Ergonomy for XML Insert
enhancement
New feature or request
#14
opened May 4, 2020 by
MarjorieBurghart
List possible values if @att value data type is teidata.pointer
#12
opened Dec 24, 2019 by
MarjorieBurghart
ProTip!
no:milestone will show everything without a milestone.