Bug 60803 Can't build manually if build automatically turned on
I have a PDE plugin project with a long running ant builder attached to it. The ant builder compiles and creates a native library. I tell the ant builder to run only on manual build but I want the Java and plugin stuff to build automatically. If I turn build automatically on, I don't seem to have a way to invoke a manual build. Am I unrealistically mixing both worlds or just plain missing something.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/WorkbenchActionBuilder.java
ResourcesPlugin.PREF_AUTO_BUILDING)) {
                    final boolean autoBuild = ResourcesPlugin.getWorkspace()
                            .isAutoBuilding();
                    if (window.getShell() != null
                            && !window.getShell().isDisposed()) {
                        
                        window.getShell().getDisplay().syncExec(new Runnable() {
                            public void run() {
                                updateBuildActions(autoBuild);
                            }
                        });
                    }
                }
            }
        };
        ResourcesPlugin.getPlugin().getPluginPreferences()
                .addPropertyChangeListener(prefListener);
        
        
        propPrefListener = new IPropertyChangeListener() {
            public void propertyChange(PropertyChangeEvent event) {
                if (event.getProperty().equals(
                        IPreferenceConstants.REUSE_EDITORS_BOOLEAN)) {
                    if (window.getShell() != null
                            && !window.getShell().isDisposed()) {
                        
                        window.getShell().getDisplay().syncExec(new Runnable() {
                            public void run() {
                                updatePinActionToolbar();
                            }