From: Sergey V. U. <ser...@cl...> - 2001-09-07 14:21:13
|
> HelpfulJTable is very helpful indeed. Outside the context of jEdit it would > be a useful addition to a extesnion class archive, which is the platform's > way of dealing with the issues being discussed. My suggestion is that the > class be added to the gui package in the editor core, joining > HistoryTextField and other "helpful" classes, unless Dirk or others believe > that the interface still needs some fine-tuning. Nice idea! Very new:) So we have 4 variants: 1. Move the table to jEdit core 2. Create new plugin "1derful controls" with one class (there will be potential for growth though...) 3. Leave it in BufferList and introduce dependancy into all the plugins which use it. 4. Copy it into every plugin which needs it. I am just user of the control but I still think only solutions 1 or 2 are acceptable (2 is probably better?), 3 is not good at all but anyway much better than 4 (at least before 1 or 2 is implemented) Regards, Sergey |