What is org.jboss.tools.common.model.options.Preference.EDITOR_PATH = "%Options%/Struts Studio/Editors" ?
11:08 a.m.
I might have asked before, but I forget why we still use Struts Studio here ?
What is Struts Studio in this context ? Is this some setting stored locally or just in
memory ?
/max
4:35 p.m.
"%Options%/Struts Studio" is the name of section in options.
At first it was the name of Exadel's product. Later other sections
were added, and this one was supposed to keep constants related to struts.
However, its subsection "Editors" remained the common place
for registering options for editors, no restructuring was done to prevent
problems of supporting different versions.
Options are stored in
.metadata/.plugins/org.jboss.tools.common.model/Preferences.xml
and are not intended for modification outside of Eclipse.
Slava
----- Original Message -----
From: "Max Rydahl Andersen" <max.andersen(a)redhat.com>
To: <jbosstools-dev(a)lists.jboss.org>
Cc: "Viacheslav Kabanovich" <scabanovich(a)exadel.com>
Sent: Sunday, January 27, 2008 1:08 PM
Subject: What is org.jboss.tools.common.model.options.Preference.EDITOR_PATH
= "%Options%/Struts Studio/Editors" ?
I might have asked before, but I forget why we still use Struts
Studio
here ?
What is Struts Studio in this context ? Is this some setting stored
locally or just
in memory ?
/max
6:37 p.m.
New subject: What is org.jboss.tools.common.model.options.Preference.EDITOR_PATH = "%Options%/Struts Studio/Editors" ?
"%Options%/Struts Studio" is the name of section in
options.
At first it was the name of Exadel's product. Later other sections
were added, and this one was supposed to keep constants related to struts.
However, its subsection "Editors" remained the common place
for registering options for editors, no restructuring was done to prevent
problems of supporting different versions.
huh ? JBDS only had 1 version release; why do we put old legacy names in the configuration
of that ?
Which other different versions are relevant here ?
Options are stored in
.metadata/.plugins/org.jboss.tools.common.model/Preferences.xml
and are not intended for modification outside of Eclipse.
Sure, but it is a file copied to the user so now we got old legacy names in the user
settings; the
exact thing we wanted to avoid :(
/max
Slava
----- Original Message -----
From: "Max Rydahl Andersen" <max.andersen(a)redhat.com>
To: <jbosstools-dev(a)lists.jboss.org>
Cc: "Viacheslav Kabanovich" <scabanovich(a)exadel.com>
Sent: Sunday, January 27, 2008 1:08 PM
Subject: What is org.jboss.tools.common.model.options.Preference.EDITOR_PATH
= "%Options%/Struts Studio/Editors" ?
> I might have asked before, but I forget why we still use Struts Studio
here ?
>
> What is Struts Studio in this context ? Is this some setting stored
locally or just in memory ?
>
> /max
--
Using Opera's revolutionary e-mail client: http://www.opera.com/mail/
5932
days inactive
5933
days old
jbosstools-dev@lists.jboss.org
2 comments
2 participants
participants (2)
-
Max Rydahl Andersen -
Viacheslav Kabanovich