From: SourceForge.net <no...@so...> - 2008-01-07 00:18:05
|
Plugin Bugs item #1865553, was opened at 2008-01-06 16:18 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1865553&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Alan Ezust (ezust) Assigned to: Nobody/Anonymous (nobody) Summary: Optional: Renders some option panes differently Initial Comment: Optional is supposed to show the exact same optionpanes as jedit core. Some Option panes look different in optional however. In particular: GdbPlugin - Formatting CtagsSideKick - Tree Style Are there others? What do these panes have in common that cause problems for Optional? ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1865553&group_id=588 |