[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [platform-ui-dev] default editor
|
Please see http://dev.eclipse.org/bugs/show_bug.cgi?id=15428
and add your comments there.
Nick
sutton@xxxxxxxxxx
Sent by: platform-ui-dev-admin@xxxxxxxxxxx
05/14/02 01:58 PM
Please respond to platform-ui-dev
To: platform-ui-dev@xxxxxxxxxxx
cc:
Subject: [platform-ui-dev] default editor
I cannot find any way to register an editor with a weighting factor.
Our plugins are normally shipped with other plugins which are responsible
for supplying appropriate editors. However, it looks like there will be
(at least) one product that our plugins will be included in that does not
have these editors. So we want to include a basic editor which has
minimal
support (ability to add / remove breakpoints and show the breakpoint
icon),
but don't want it to end up as the default editor for the file extension
type unless no other editor is registered for that file extension type.
From some trial and error it appears to me that the first time eclipse is
started up the editors for a particular file extension are added in
alphabetical order (of the plugin id that the editor is declared in), and
then the first one in the list is the default.
Instead of doing it alphabetically, it would be better if we could
register
our editor with a relative priority. This would allow our editor to be
used only if there are no others.
Bruce Sutton
_______________________________________________
platform-ui-dev mailing list
platform-ui-dev@xxxxxxxxxxx
http://dev.eclipse.org/mailman/listinfo/platform-ui-dev