Vaclav Votipka
Vaclav Votipka
Unregistered User
Groups: Anyone
Posts in jEdit
Show   Total: 7 items
Date Subject Count Location
[ jEdit-devel ] [jedit:plugin-bugs] #1885 Scalac: Crash in jEdit 5.4.0 3 replies jedit-devel
[ jEdit-devel ] [jedit:plugin-feature-requests] #378 XML plugin: Disable DTD validation on global basis 0 replies jedit-devel
[ jEdit-devel ] [jedit:plugin-feature-requests] #378 XML plugin: Disable DTD validation on global basis 0 replies jedit-devel
[ jEdit-devel ] [jedit:plugin-feature-requests] #378 XML plugin: Disable DTD validation on global basis 9 replies jedit-devel
[ jEdit-devel ] [jedit:bugs] #4020 XML with entity and xml schema produces error and breaks jEdit UI 0 replies jedit-devel
[ jEdit-devel ] [jedit:bugs] #4020 XML with entity and xml schema produces error and breaks jEdit UI 0 replies jedit-devel
[ jEdit-devel ] [jedit:bugs] #4020 XML with entity and xml schema produces error and breaks jEdit UI 6 replies jedit-devel