mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-29 19:45:01 +02:00
Fix PR 56734
This commit is contained in:
parent
97c2767637
commit
24a43f659d
3 changed files with 27 additions and 12 deletions
|
@ -1,3 +1,10 @@
|
||||||
|
2004-03-30 Alain Magloire
|
||||||
|
|
||||||
|
Fix PR 56734
|
||||||
|
|
||||||
|
* src/org/eclipse/cdt/internal/ui/buildconsole/BuildConsolePage.java
|
||||||
|
* puglin.xml
|
||||||
|
|
||||||
2004-03-30 Alain Magloire
|
2004-03-30 Alain Magloire
|
||||||
|
|
||||||
Show the import/export menu even when no selection.
|
Show the import/export menu even when no selection.
|
||||||
|
|
|
@ -70,7 +70,7 @@
|
||||||
enabled="false"
|
enabled="false"
|
||||||
description="%HideObjectFiles.description"
|
description="%HideObjectFiles.description"
|
||||||
class="org.eclipse.cdt.internal.ui.filters.ObjectFilter"
|
class="org.eclipse.cdt.internal.ui.filters.ObjectFilter"
|
||||||
id="org.eclipse.cdt.internal.ui.CView.ArchiveFilter">
|
id="org.eclipse.cdt.internal.ui.CView.ObjectFilter">
|
||||||
</filter>
|
</filter>
|
||||||
<filter
|
<filter
|
||||||
targetId="org.eclipse.cdt.ui.CView"
|
targetId="org.eclipse.cdt.ui.CView"
|
||||||
|
|
|
@ -197,18 +197,26 @@ public class BuildConsolePage extends Page implements ISelectionListener, IPrope
|
||||||
* @see org.eclipse.jface.util.IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)
|
* @see org.eclipse.jface.util.IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)
|
||||||
*/
|
*/
|
||||||
public void propertyChange(PropertyChangeEvent event) {
|
public void propertyChange(PropertyChangeEvent event) {
|
||||||
Object source = event.getSource();
|
final Object source = event.getSource();
|
||||||
String property = event.getProperty();
|
final String property = event.getProperty();
|
||||||
if (BuildConsole.P_STREAM_COLOR.equals(property) && source instanceof BuildConsoleStream) {
|
Display display = getControl().getDisplay();
|
||||||
BuildConsoleStream stream = (BuildConsoleStream) source;
|
display.asyncExec(new Runnable() {
|
||||||
if (stream.getConsole().equals(getConsole())) {
|
/* (non-Javadoc)
|
||||||
getViewer().getTextWidget().redraw();
|
* @see java.lang.Runnable#run()
|
||||||
|
*/
|
||||||
|
public void run() {
|
||||||
|
if (BuildConsole.P_STREAM_COLOR.equals(property) && source instanceof BuildConsoleStream) {
|
||||||
|
BuildConsoleStream stream = (BuildConsoleStream) source;
|
||||||
|
if (stream.getConsole().equals(getConsole())) {
|
||||||
|
getViewer().getTextWidget().redraw();
|
||||||
|
}
|
||||||
|
} else if (property.equals(BuildConsolePreferencePage.PREF_BUILDCONSOLE_FONT)) {
|
||||||
|
setFont(JFaceResources.getFont(BuildConsolePreferencePage.PREF_BUILDCONSOLE_FONT));
|
||||||
|
} else if (property.equals(BuildConsolePreferencePage.PREF_BUILDCONSOLE_TAB_WIDTH)) {
|
||||||
|
setTabs(CUIPlugin.getDefault().getPluginPreferences().getInt(BuildConsolePreferencePage.PREF_BUILDCONSOLE_TAB_WIDTH));
|
||||||
|
}
|
||||||
}
|
}
|
||||||
} else if (property.equals(BuildConsolePreferencePage.PREF_BUILDCONSOLE_FONT)) {
|
});
|
||||||
setFont(JFaceResources.getFont(BuildConsolePreferencePage.PREF_BUILDCONSOLE_FONT));
|
|
||||||
} else if (property.equals(BuildConsolePreferencePage.PREF_BUILDCONSOLE_TAB_WIDTH)) {
|
|
||||||
setTabs(CUIPlugin.getDefault().getPluginPreferences().getInt(BuildConsolePreferencePage.PREF_BUILDCONSOLE_TAB_WIDTH));
|
|
||||||
}
|
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Reference in a new issue