Codebase list jd-gui / 0af4a626-0b34-4685-a8a4-c18e8bd66f2d/upstream app / src / main / java / org / jd / gui / view / component / panel / MainTabbedPanel.java
0af4a626-0b34-4685-a8a4-c18e8bd66f2d/upstream

Tree @0af4a626-0b34-4685-a8a4-c18e8bd66f2d/upstream (Download .tar.gz)

MainTabbedPanel.java @0af4a626-0b34-4685-a8a4-c18e8bd66f2d/upstreamraw · history · blame

/*
 * Copyright (c) 2008-2019 Emmanuel Dupuy.
 * This project is distributed under the GPLv3 license.
 * This is a Copyleft license that gives the user the right to use,
 * copy and modify the code freely for non-commercial purposes.
 */

package org.jd.gui.view.component.panel;

import org.jd.gui.api.API;
import org.jd.gui.api.feature.*;
import org.jd.gui.service.platform.PlatformService;

import javax.swing.*;
import java.awt.*;
import java.net.URI;
import java.util.ArrayList;
import java.util.List;
import java.util.Map;

@SuppressWarnings("unchecked")
public class MainTabbedPanel<T extends JComponent & UriGettable> extends TabbedPanel<T> implements UriOpenable, PreferencesChangeListener, PageChangeListener {
    protected ArrayList<PageChangeListener> pageChangedListeners = new ArrayList<>();
    // Flag to prevent the event cascades
    protected boolean pageChangedListenersEnabled = true;

    public MainTabbedPanel(API api) {
        super(api);
    }

    @Override
    public void create() {
        setLayout(cardLayout = new CardLayout());

        Color bg = darker(getBackground());

        if (PlatformService.getInstance().isWindows()) {
            setBackground(bg);
        }

        // panel //
        JPanel panel = new JPanel();
        panel.setLayout(new BoxLayout(panel, BoxLayout.X_AXIS));
        panel.setBackground(bg);

        Color fontColor = panel.getBackground().darker();

        panel.add(Box.createHorizontalGlue());

        JPanel box = new JPanel();
        box.setLayout(new BoxLayout(box, BoxLayout.Y_AXIS));
        box.setBackground(panel.getBackground());
        box.add(Box.createVerticalGlue());

        JLabel title = newLabel("No files are open", fontColor);
        title.setFont(title.getFont().deriveFont(Font.BOLD, title.getFont().getSize()+8));

        box.add(title);
        box.add(newLabel("Open a file with menu \"File > Open File...\"", fontColor));
        box.add(newLabel("Open recent files with menu \"File > Recent Files\"", fontColor));
        box.add(newLabel("Drag and drop files from " + getFileManagerLabel(), fontColor));
        box.add(Box.createVerticalGlue());

        panel.add(box);
        panel.add(Box.createHorizontalGlue());
        add("panel", panel);

        // tabs //
        tabbedPane = createTabPanel();
        tabbedPane.addChangeListener(e -> {
            if (pageChangedListenersEnabled) {
                JComponent subPage = (JComponent)tabbedPane.getSelectedComponent();

                if (subPage == null) {
                    // Fire page changed event
                    for (PageChangeListener listener : pageChangedListeners) {
                        listener.pageChanged(null);
                    }
                } else {
                    T page = (T)subPage.getClientProperty("currentPage");

                    if (page == null) {
                        page = (T)tabbedPane.getSelectedComponent();
                    }
                    // Fire page changed event
                    for (PageChangeListener listener : pageChangedListeners) {
                        listener.pageChanged(page);
                    }
                    // Update current sub-page preferences
                    if (subPage instanceof PreferencesChangeListener) {
                        ((PreferencesChangeListener)subPage).preferencesChanged(preferences);
                    }
                }
            }
        });
		add("tabs", tabbedPane);

		setBorder(BorderFactory.createMatteBorder(1, 0, 0, 0, darker(darker(bg))));
	}

	protected String getFileManagerLabel() {
        switch (PlatformService.getInstance().getOs()) {
            case Linux:
                return "your file manager";
            case MacOSX:
                return "the Finder";
            default:
                return "Explorer";
        }
    }

	protected JLabel newLabel(String text, Color fontColor) {
        JLabel label = new JLabel(text);
        label.setForeground(fontColor);
        return label;
    }

    @Override
    public void addPage(String title, Icon icon, String tip, T page) {
        super.addPage(title, icon, tip, page);
        if (page instanceof PageChangeable) {
            ((PageChangeable)page).addPageChangeListener(this);
        }
    }

    public List<T> getPages() {
        int i = tabbedPane.getTabCount();
        ArrayList<T> pages = new ArrayList<>(i);
        while (i-- > 0) {
            pages.add((T)tabbedPane.getComponentAt(i));
        }
        return pages;
    }

    public ArrayList<PageChangeListener> getPageChangedListeners() {
        return pageChangedListeners;
    }

    // --- URIOpener --- //
    @Override
    public boolean openUri(URI uri) {
        try {
            // Disable page changed event
            pageChangedListenersEnabled = false;
            // Search & display main tab
            T page = showPage(uri);

            if (page != null) {
                if (page instanceof UriOpenable) {
                    // Enable page changed event
                    pageChangedListenersEnabled = true;
                    // Search & display sub tab
                    return ((UriOpenable)page).openUri(uri);
                }
                return true;
            }
        } finally {
            // Enable page changed event
            pageChangedListenersEnabled = true;
        }

        return false;
    }

    // --- PageChangedListener --- //
    @Override
    public <T extends JComponent & UriGettable> void pageChanged(T page) {
        // Store active page for current sub tabbed pane
        Component subPage = tabbedPane.getSelectedComponent();

        if (subPage != null) {
            ((JComponent)subPage).putClientProperty("currentPage", page);
        }

        if (page == null) {
            page = (T)subPage;
        }

        // Forward event
        for (PageChangeListener listener : pageChangedListeners) {
            listener.pageChanged(page);
        }
    }

    // --- PreferencesChangeListener --- //
    @Override
    public void preferencesChanged(Map<String, String> preferences) {
        super.preferencesChanged(preferences);

        // Update current sub-page preferences
        Component subPage = tabbedPane.getSelectedComponent();
        if (subPage instanceof PreferencesChangeListener) {
            ((PreferencesChangeListener)subPage).preferencesChanged(preferences);
        }
    }
}