<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-text-html" lang="x-unicode">
<div class="moz-text-flowed" style="font-family: -moz-fixed;
font-size: 12px;" lang="x-unicode">Hi All: <br>
<br>
I was reviewing <a class="moz-txt-link-freetext"
href="https://github.com/jbosstools/jbosstools-base/pull/459/files">https://github.com/jbosstools/jbosstools-base/pull/459/files</a>
<br>
<br>
It seems a functional patch in general, but I sincerely doubt
runtime.ui is the proper place to go adjusting JDT UI
preferences. <br>
<br>
Should be doing this in project releases, rather than product?
As I understood it, we should only be customizing other
project's settings in our product release - JBDS. <br>
<br>
If it was only to be done in product, isn't there a way to
customize these preferences via a text file? If we want to
begin to do this in project instead, wouldn't it be better to
have an isolated place where we can set arbitrary settings for
upstream projects? <br>
<br>
Context <a class="moz-txt-link-freetext"
href="https://issues.jboss.org/browse/JBIDE-20845">https://issues.jboss.org/browse/JBIDE-20845</a>
<br>
<br>
- Rob Stryker <br>
</div>
</div>
</body>
</html>