graph_widget.cpp

Go to the documentation of this file.

#include "gui/graph_widget/graph_widget.h"
 
#include "gui/comment_system/widgets/comment_widget.h"
#include "gui/content_manager/content_manager.h"
#include "gui/graph_tab_widget/graph_tab_widget.h"
#include "gui/graph_widget/contexts/graph_context.h"
#include "gui/graph_widget/graph_context_manager.h"
#include "gui/graph_widget/graph_graphics_view.h"
#include "gui/user_action/action_unfold_module.h"
//#include "gui/graph_widget/graph_layout_spinner_widget.h"
#include "gui/content_manager/content_manager.h"
#include "gui/graph_widget/graph_navigation_widget.h"
#include "gui/graph_widget/graphics_scene.h"
#include "gui/graph_widget/items/nodes/gates/graphics_gate.h"
#include "gui/graph_widget/items/nodes/modules/graphics_module.h"
#include "gui/graph_widget/progress_bar.h"
#include "gui/gui_def.h"
#include "gui/gui_globals.h"
#include "gui/gui_utils/netlist.h"
#include "gui/module_widget/module_widget.h"
#include "gui/overlay/widget_overlay.h"
#include "gui/plugin_relay/gui_plugin_manager.h"
#include "gui/settings/settings_items/settings_item_spinbox.h"
#include "gui/spinner_widget/spinner_widget.h"
#include "gui/toolbar/toolbar.h"
#include "gui/user_action/action_add_items_to_object.h"
#include "gui/user_action/action_remove_items_from_object.h"
#include "gui/user_action/action_rename_object.h"
#include "hal_core/netlist/gate.h"
#include "hal_core/netlist/module.h"
#include "hal_core/netlist/net.h"
#include "hal_core/utilities/utils.h"
#include "hal_core/plugin_system/plugin_manager.h"
#include "hal_core/plugin_system/gui_extension_interface.h"
 
#include <QApplication>
#include <QDebug>
#include <QGraphicsRectItem>
#include <QInputDialog>
#include <QKeyEvent>
#include <QMessageBox>
#include <QTimer>
#include <QToolButton>
#include <QVBoxLayout>
#include <QVariantAnimation>
 
namespace hal
{
    SettingsItemSpinbox* GraphWidget::sSettingAnimationDuration =
        new SettingsItemSpinbox("Animation Duration [1/10s]",
                                "graph_view/animation_duration",
                                10,
                                "Appearance:Graph View",
                                "Duration of 'fly to gate' animation when viewport is zooming in on new target. Unit is 1/10 second, thus 20=2sec, 10=1sec. Value of zero turns animation off.");
 
    GraphWidget* GraphWidget::sInstance = nullptr;
 
    GraphWidget::GraphWidget(GraphContext* context, QWidget* parent)
        : ContentWidget("Graph", parent), mView(new GraphGraphicsView(this)), mContext(context), mOverlay(new WidgetOverlay(this)),
          mNavigationWidgetV3(new GraphNavigationWidget(false)), mProgressBar(nullptr),
          mSpinnerWidget(new SpinnerWidget(this)), mCommentWidget(nullptr), mCurrentExpansion(0)
    {
        connect(mNavigationWidgetV3, &GraphNavigationWidget::navigationRequested, this, &GraphWidget::handleNavigationJumpRequested);
        connect(mNavigationWidgetV3, &GraphNavigationWidget::closeRequested, mOverlay, &WidgetOverlay::hide);
        connect(mNavigationWidgetV3, &GraphNavigationWidget::closeRequested, this, &GraphWidget::resetFocus);
 
        connect(mOverlay, &WidgetOverlay::clicked, this, &GraphWidget::hideOverlay);
 
        connect(mView, &GraphGraphicsView::moduleDoubleClicked, this, &GraphWidget::handleModuleDoubleClicked);
 
        mOverlay->hide();
        mOverlay->setWidget(mNavigationWidgetV3);
        mSpinnerWidget->hide();
        mContentLayout->addWidget(mView);
 
        mView->setFrameStyle(QFrame::NoFrame);
        mView->setTransformationAnchor(QGraphicsView::AnchorUnderMouse);
        mView->setRenderHint(QPainter::Antialiasing, false);
        mView->setDragMode(QGraphicsView::RubberBandDrag);
 
        mContext->setParentWidget(this);
 
        if (!mContext->sceneUpdateInProgress())
        {
            mView->setScene(mContext->scene());
            mView->centerOn(0, 0);
        }
        sInstance = this;
        for (GuiExtensionInterface* geif : GuiPluginManager::getGuiExtensions().values())
            geif->register_progress_indicator(&GraphWidget::pluginProgressIndicator);
    }
 
    GraphWidget::~GraphWidget()
    {
        sInstance = nullptr;
    }
 
    GraphContext* GraphWidget::getContext() const
    {
        return mContext;
    }
 
    void GraphWidget::handleSceneAvailable()
    {
        mView->setScene(mContext->scene());
 
        connect(mOverlay, &WidgetOverlay::clicked, this, &GraphWidget::hideOverlay);
 
        hideOverlay();
        mSpinnerWidget->hide();
        mOverlay->setWidget(mNavigationWidgetV3);
 
        if (hasFocus())
            mView->setFocus();
        else if (mStoreViewport.mValid)
        {
            mView->fitInView(restoreViewport(), Qt::KeepAspectRatio);
        }
    }
 
    void GraphWidget::hideOverlay()
    {
        mOverlay->hide();
        if (mProgressBar)
        {
            mProgressBar->deleteLater();
            mProgressBar           = nullptr;
            mOverlay->clearWidget();
        }
        if (mCommentWidget)
        {
            mCommentWidget->deleteLater();
            mCommentWidget = nullptr;
            mOverlay->clearWidget();
        }
    }
 
    void GraphWidget::showBusy(int percent, const QString &text)
    {
        if (!mProgressBar)
        {
            mProgressBar = new BusyIndicator;
            mProgressBar->setMinimumSize(256,288);
            mOverlay->setWidget(mProgressBar);
            mProgressBar->setSizePolicy(QSizePolicy::Expanding, QSizePolicy::Expanding);
            mOverlay->show();
        }
        if (!text.isEmpty())
            mProgressBar->setText(text);
        mProgressBar->setValue(percent);
        qApp->processEvents();
    }
 
    void GraphWidget::showComments(const Node &nd)
    {
        mCommentWidget = new CommentWidget(this);
        mCommentWidget->nodeChanged(nd);
        mOverlay->setWidget(mCommentWidget);
        mOverlay->show();
    }
 
    void GraphWidget::showProgress(int percent, const QString& text)
    {
        if (!mProgressBar)
        {
            mProgressBar = new ProgressBar(mContext->getLayouter()->canRollback() ? mContext : nullptr);
            mProgressBar->setMinimumSize(width() / 2, height() / 4);
            mOverlay->setWidget(mProgressBar);
            mProgressBar->setSizePolicy(QSizePolicy::Expanding, QSizePolicy::Preferred);
            mOverlay->show();
        }
 
        if (!text.isEmpty())
            mProgressBar->setText(text);
        mProgressBar->setValue(percent);
        qApp->processEvents();
    }
 
    void GraphWidget::handleSceneUnavailable()
    {
        mView->setScene(nullptr);
 
        disconnect(mOverlay, &WidgetOverlay::clicked, this, &GraphWidget::hideOverlay);
 
        mOverlay->setWidget(mSpinnerWidget);
 
        if (mOverlay->isHidden())
            mOverlay->show();
    }
 
    void GraphWidget::handleContextAboutToBeDeleted()
    {
        mView->setScene(nullptr);
        mContext = nullptr;
    }
 
    void GraphWidget::storeViewport()
    {
        if (!mContext->getLayouter()->done())
        {
            mStoreViewport.mValid = false;
            return;
        }
        QRect vg              = mView->viewport()->geometry();
        QPoint viewportCenter = (vg.topLeft() + vg.bottomRight()) / 2;
        mStoreViewport.mValid = true;
        mStoreViewport.mRect  = mView->mapToScene(mView->viewport()->geometry()).boundingRect();
        mStoreViewport.mGrid  = mView->closestLayouterPos(mView->mapToScene(QPoint(viewportCenter)));
        //        qDebug() << "store" << viewportCenter << mStoreViewport.mGrid.first << mStoreViewport.mGrid.second << mStoreViewport.mRect;
    }
 
    QRectF GraphWidget::restoreViewport(bool reset)
    {
        if (!mStoreViewport.mValid)
            return QRectF();
        if (reset)
            mStoreViewport.mValid = false;
 
        QPointF centerPos(mContext->getLayouter()->gridXposition(mStoreViewport.mGrid.first.x()), mContext->getLayouter()->gridYposition(mStoreViewport.mGrid.first.y()));
        QPointF topLeft = mStoreViewport.mRect.topLeft() - mStoreViewport.mGrid.second + centerPos;
        return QRectF(topLeft, mStoreViewport.mRect.size());
    }
 
    void GraphWidget::keyPressEvent(QKeyEvent* event)
    {
        if (!mContext)
            return;
 
        if (mContext->sceneUpdateInProgress())
            return;
 
        switch (event->key())
        {
            case Qt::Key_Left: {
                handleNavigationLeftRequest();
                break;
            }
            case Qt::Key_Right: {
                handleNavigationRightRequest();
                break;
            }
            case Qt::Key_Up: {
                handleNavigationUpRequest();
                break;
            }
            case Qt::Key_Down: {
                handleNavigationDownRequest();
                break;
            }
            case Qt::Key_Z: {
                if (event->modifiers() & Qt::ControlModifier)    // modifiers are set as bitmasks
                {
                }
                break;
            }
            case Qt::Key_Escape: {
                gSelectionRelay->clearAndUpdate();
                break;
            }
            default:
                break;
        }
    }
 
    void GraphWidget::substituteByVisibleModules(const QSet<u32>& gates,
                                                 const QSet<u32>& modules,
                                                 QSet<u32>& target_gates,
                                                 QSet<u32>& target_modules,
                                                 QSet<u32>& remove_gates,
                                                 QSet<u32>& remove_modules) const
    {
        // EXPAND SELECTION AND CONTEXT UP THE HIERARCHY TREE
 
        for (auto& mid : modules)
        {
            auto m           = gNetlist->get_module_by_id(mid);
            QSet<u32> common = gui_utility::parentModules(m) & mContext->modules();
            if (common.empty())
            {
                // we can select the module
                target_modules.insert(mid);
            }
            else
            {
                // we must select the respective parent module instead
                // (this "common" set only has one element)
                assert(common.size() == 1);
                target_modules += common;
            }
        }
 
        for (auto& gid : gates)
        {
            auto g           = gNetlist->get_gate_by_id(gid);
            QSet<u32> common = gui_utility::parentModules(g) & mContext->modules();
            if (common.empty())
            {
                target_gates.insert(gid);
            }
            else
            {
                // At this stage, "common" could contain multiple elements because
                // we might have inserted a parent module where its child  module is
                // already mVisible. This is cleaned up later.
                target_modules += common;
            }
        }
 
        // PRUNE SELECTION AND CONTEXT DOWN THE HIERARCHY TREE
 
        // discard (and if required schedule for removal) all modules whose
        // parent modules we'll be showing
        QSet<u32> new_module_set = mContext->modules() + target_modules;
        for (auto& mid : mContext->modules())
        {
            auto m = gNetlist->get_module_by_id(mid);
            if (gui_utility::parentModules(m).intersects(new_module_set))
            {
                remove_modules.insert(mid);
            }
        }
        auto it = target_modules.constBegin();
        while (it != target_modules.constEnd())
        {
            auto m = gNetlist->get_module_by_id(*it);
            if (gui_utility::parentModules(m).intersects(new_module_set))
            {
                it = target_modules.erase(it);
            }
            else
            {
                ++it;
            }
        }
 
        // discard (and if required schedule for removal) all gates whose
        // parent modules we'll be showing
        new_module_set = (mContext->modules() - remove_modules) + target_modules;
        for (auto& gid : mContext->gates())
        {
            auto g = gNetlist->get_gate_by_id(gid);
            if (gui_utility::parentModules(g).intersects(new_module_set))
            {
                remove_gates.insert(gid);
            }
        }
        it = target_gates.constBegin();
        while (it != target_gates.constEnd())
        {
            auto g = gNetlist->get_gate_by_id(*it);
            if (gui_utility::parentModules(g).intersects(new_module_set))
            {
                it = target_gates.erase(it);
            }
            else
            {
                ++it;
            }
        }
        // qDebug() << "-----------";
        // qDebug() << "requested gates" << gates;
        // qDebug() << "requested modules" << modules;
        // qDebug() << "target gates" << target_gates;
        // qDebug() << "target modules" << target_modules;
        // qDebug() << "remove gates" << remove_gates;
        // qDebug() << "remove modules" << remove_modules;
    }
 
    void GraphWidget::handleNavigationJumpRequested(const Node& origin, const u32 via_net, const QSet<u32>& to_gates, const QSet<u32>& to_modules)
    {
        //        bool bail_animation = false;
 
        setFocus();
        storeViewport();
 
        // ASSERT INPUTS ARE VALID
        auto n = gNetlist->get_net_by_id(via_net);
        if (!n || (to_gates.empty() && to_modules.empty()))
        {
            // prevent stuck navigation widget
            mOverlay->hide();
            mView->setFocus();
            return;
        }
 
        // Substitute all gates by their modules if we're showing them.
        // This avoids ripping gates out of their already mVisible modules.
        QSet<u32> final_modules, remove_modules;
        QSet<u32> final_gates, remove_gates;
        substituteByVisibleModules(to_gates, to_modules, final_gates, final_modules, remove_gates, remove_modules);
 
        // find out which gates and modules we still need to add to the context
        // (this makes the cone view work)
        QSet<u32> nonvisible_gates   = final_gates - mContext->gates();
        QSet<u32> nonvisible_modules = final_modules - mContext->modules();
 
        // if we don't have all gates and modules, we need to add them
        if (!nonvisible_gates.empty() || !nonvisible_modules.empty())
        {
            // hint the layouter at the direction we're navigating in
            // (so the cone view nicely extends to the right or left)
            // either they're all inputs or all outputs, so just check the first one
 
            std::vector<Net*> in_nets;
            if (to_gates.empty())
            {
                in_nets = utils::to_vector(gNetlist->get_module_by_id(*to_modules.constBegin())->get_input_nets());
            }
            else
            {
                in_nets = utils::to_vector(gNetlist->get_gate_by_id(*to_gates.begin())->get_fan_in_nets());
            }
            bool netIsInput                                = std::find(in_nets.begin(), in_nets.end(), n) != in_nets.cend();
            PlacementHint::PlacementModeType placementMode = netIsInput ? PlacementHint::PreferRight : PlacementHint::PreferLeft;
 
            // add all new gates and modules
            if (!remove_modules.isEmpty() || !remove_gates.isEmpty())
            {
                ActionRemoveItemsFromObject* act = new ActionRemoveItemsFromObject(remove_modules, remove_gates);
                act->setObject(UserActionObject(mContext->id(), UserActionObjectType::ContextView));
                act->exec();
            }
            if (!nonvisible_modules.isEmpty() || !nonvisible_gates.isEmpty())
            {
                ActionAddItemsToObject* act = new ActionAddItemsToObject(nonvisible_modules, nonvisible_gates);
                act->setPlacementHint(PlacementHint(placementMode, origin));
                act->setObject(UserActionObject(mContext->id(), UserActionObjectType::ContextView));
                act->exec();
            }
 
            // FIXME find out how to do this properly
            // If we have added any gates, the scene may have resized. In that case, the animation can be erratic,
            // so we set a mFlag here that we can't run the animation. See end of this method for more details.
            //            bail_animation = true;
        }
        else
        {
            // if we don't need to add anything, we're done here
 
            mOverlay->hide();
            //if (hasFocus())
            mView->setFocus();
        }
 
        // SELECT IN RELAY
        gSelectionRelay->clear();
 
        // TODO implement subselections on modules, then add a case for when the
        // selection is only one module (instead of one gate)
 
        SelectionRelay::Subfocus sfoc = SelectionRelay::Subfocus::None;
        u32 sfinx                     = 0;
 
        if (final_gates.size() == 1 && final_modules.empty())
        {
            // subfocus only possible when just one gate selected
            u32 gid = *final_gates.begin();
            auto g  = gNetlist->get_gate_by_id(gid);
 
            u32 cnt = 0;
            // TODO simplify (we do actually know if we're navigating left or right)
            for (const auto& pin : g->get_type()->get_input_pins())
            {
                if (g->get_fan_in_net(pin) == n)    // input net
                {
                    sfoc  = SelectionRelay::Subfocus::Left;
                    sfinx = cnt;
                    break;
                }
                cnt++;
            }
            if (sfoc == SelectionRelay::Subfocus::None)
            {
                cnt = 0;
                for (const auto& pin : g->get_type()->get_output_pins())
                {
                    if (g->get_fan_out_net(pin) == n)    // input net
                    {
                        sfoc  = SelectionRelay::Subfocus::Right;
                        sfinx = cnt;
                        break;
                    }
                    cnt++;
                }
            }
            gSelectionRelay->setFocus(SelectionRelay::ItemType::Gate, gid, sfoc, sfinx);
        }
        else if (final_modules.size() == 1 && final_gates.empty())
        {
            // subfocus only possible when just one module selected
            u32 mid = *final_modules.begin();
            auto m  = gNetlist->get_module_by_id(mid);
            Q_ASSERT(m);
 
            // TODO simplify (we do actually know if we're navigating left or right)
            Node needle(mid, Node::Module);
            const NodeBox* nbox = mContext->getLayouter()->boxes().boxForNode(needle);
            Q_ASSERT(nbox);
            const GraphicsNode* gnode = static_cast<const GraphicsNode*>(nbox->item());
            Q_ASSERT(gnode);
 
            int inx = gnode->inputByNet(n->get_id());
            if (inx < 0)
            {
                inx = gnode->outputByNet(n->get_id());
                if (inx >= 0)
                {
                    sfoc  = SelectionRelay::Subfocus::Right;
                    sfinx = inx;
                }
            }
            else
            {
                sfoc  = SelectionRelay::Subfocus::Left;
                sfinx = inx;
            }
            gSelectionRelay->setFocus(SelectionRelay::ItemType::Module, mid, sfoc, sfinx);
        }
 
        gSelectionRelay->setSelectedModules(final_modules);
        gSelectionRelay->setSelectedGates(final_gates);
        gSelectionRelay->relaySelectionChanged(nullptr);
 
        // FIXME If the scene has been resized during this method, the animation triggered by
        // ensure_gates_visible is broken. Thus, if that is the case, we bail out here and not
        // trigger the animation.
        // if (bail_animation)
        //    return;
 
        // JUMP TO THE GATES AND MODULES
        ensureItemsVisible(final_gates, final_modules);
    }
 
    void GraphWidget::handleModuleDoubleClicked(const u32 id)
    {
        // CONNECT DIRECTLY TO HANDLE ???
        // MAYBE ADDITIONAL CODE NECESSARY HERE...
        handleEnterModuleRequested(id);
    }
 
    // ADD SOUND OR ERROR MESSAGE TO FAILED NAVIGATION ATTEMPTS
    void GraphWidget::handleNavigationLeftRequest()
    {
        if (!hasFocusedItem(SelectionRelay::Subfocus::Left)) return;
        const SelectionRelay::Subfocus navigateLeft = SelectionRelay::Subfocus::Left;
        mOverlay->setWidget(mNavigationWidgetV3);
        switch (gSelectionRelay->focusType())
        {
            case SelectionRelay::ItemType::None: {
                return;
            }
            case SelectionRelay::ItemType::Gate: {
                Gate* g = gNetlist->get_gate_by_id(gSelectionRelay->focusId());
 
                if (!g)
                    return;
 
                if (gSelectionRelay->subfocus() == SelectionRelay::Subfocus::Left)
                {
                    const GatePin* pin = g->get_type()->get_input_pins().at(gSelectionRelay->subfocusIndex());
                    Net* n             = g->get_fan_in_net(pin);
 
                    if (!n)
                        return;
 
                    if (n->get_num_of_sources() == 0)
                    {
                        gSelectionRelay->clear();
                        gSelectionRelay->addNet(n->get_id());
                        gSelectionRelay->setFocus(SelectionRelay::ItemType::Net, n->get_id());
                        gSelectionRelay->relaySelectionChanged(nullptr);
                    }
                    else if (n->get_num_of_sources() == 1)
                    {
                        handleNavigationJumpRequested(Node(g->get_id(), Node::Gate), n->get_id(), {n->get_sources().at(0)->get_gate()->get_id()}, {});
                    }
                    else
                    {
                        mNavigationWidgetV3->setup(navigateLeft);
                        mNavigationWidgetV3->setFocus();
                        mOverlay->show();
                    }
                }
                else if (g->get_type()->get_input_pins().size())
                {
                    gSelectionRelay->setFocus(SelectionRelay::ItemType::Gate, g->get_id(), SelectionRelay::Subfocus::Left, 0);
                    gSelectionRelay->relaySubfocusChanged(nullptr);
                    gSelectionRelay->relaySelectionChanged(nullptr);
                }
 
                return;
            }
            case SelectionRelay::ItemType::Net: {
                Net* n = gNetlist->get_net_by_id(gSelectionRelay->focusId());
 
                if (!n)
                    return;
 
                if (n->get_num_of_sources() == 0)
                    return;
 
                if (n->get_num_of_sources() == 1)
                {
                    handleNavigationJumpRequested(mContext->getNetDestination(n), n->get_id(), {n->get_sources()[0]->get_gate()->get_id()}, {});
                }
                else
                {
                    mNavigationWidgetV3->setup(navigateLeft);
                    mNavigationWidgetV3->setFocus();
                    mOverlay->show();
                }
 
                return;
            }
            case SelectionRelay::ItemType::Module: {
                Module* m = gNetlist->get_module_by_id(gSelectionRelay->focusId());
 
                if (!m)
                    return;
 
                if (gSelectionRelay->subfocus() == SelectionRelay::Subfocus::Left)
                {
                    Node needle(m->get_id(), Node::Module);
                    const NodeBox* nbox = mContext->getLayouter()->boxes().boxForNode(needle);
                    Q_ASSERT(nbox);
                    const GraphicsNode* gnode = static_cast<const GraphicsNode*>(nbox->item());
                    Q_ASSERT(gnode);
                    Net* n = gNetlist->get_net_by_id(gnode->inputNets().at(gSelectionRelay->subfocusIndex()));
                    Q_ASSERT(n);
 
                    if (n->get_num_of_sources() == 0)
                    {
                        gSelectionRelay->clear();
                        gSelectionRelay->addNet(n->get_id());
                        gSelectionRelay->setFocus(SelectionRelay::ItemType::Net, n->get_id());
                        gSelectionRelay->relaySelectionChanged(nullptr);
                    }
                    else if (n->get_num_of_sources() == 1)
                    {
                        handleNavigationJumpRequested(Node(m->get_id(), Node::Module), n->get_id(), {n->get_sources()[0]->get_gate()->get_id()}, {});
                    }
                    else
                    {
                        mNavigationWidgetV3->setup(navigateLeft);
                        mNavigationWidgetV3->setFocus();
                        mOverlay->show();
                    }
                }
                else if (m->get_input_nets().size())
                {
                    gSelectionRelay->setFocus(SelectionRelay::ItemType::Module, m->get_id(), SelectionRelay::Subfocus::Left, 0);
                    gSelectionRelay->relaySubfocusChanged(nullptr);
                }
 
                return;
            }
        }
    }
 
    void GraphWidget::handleNavigationRightRequest()
    {
        if (!hasFocusedItem(SelectionRelay::Subfocus::Right)) return;
        const SelectionRelay::Subfocus navigateRight = SelectionRelay::Subfocus::Right;
        mOverlay->setWidget(mNavigationWidgetV3);
        switch (gSelectionRelay->focusType())
        {
            case SelectionRelay::ItemType::None: {
                return;
            }
            case SelectionRelay::ItemType::Gate: {
                Gate* g = gNetlist->get_gate_by_id(gSelectionRelay->focusId());
 
                if (!g)
                    return;
 
                if (gSelectionRelay->subfocus() == SelectionRelay::Subfocus::Right)
                {
                    auto n = g->get_fan_out_net(g->get_type()->get_output_pins()[gSelectionRelay->subfocusIndex()]);
                    if (!n)
                        return;
 
                    if (n->get_num_of_destinations() == 0)
                    {
                        gSelectionRelay->clear();
                        gSelectionRelay->addNet(n->get_id());
                        gSelectionRelay->setFocus(SelectionRelay::ItemType::Net, n->get_id());
                        gSelectionRelay->relaySelectionChanged(nullptr);
                    }
                    else if (n->get_num_of_destinations() == 1)
                    {
                        handleNavigationJumpRequested(Node(g->get_id(), Node::Gate), n->get_id(), {n->get_destinations()[0]->get_gate()->get_id()}, {});
                    }
                    else
                    {
                        mNavigationWidgetV3->setup(navigateRight);
                        mNavigationWidgetV3->setFocus();
                        mOverlay->show();
                    }
                }
                else if (g->get_type()->get_output_pins().size())
                {
                    gSelectionRelay->setFocus(SelectionRelay::ItemType::Gate, g->get_id(), SelectionRelay::Subfocus::Right, 0);
                    gSelectionRelay->relaySubfocusChanged(nullptr);
                }
 
                return;
            }
            case SelectionRelay::ItemType::Net: {
                Net* n = gNetlist->get_net_by_id(gSelectionRelay->focusId());
 
                if (!n)
                    return;
 
                if (n->get_num_of_destinations() == 0)
                    return;
 
                if (n->get_num_of_destinations() == 1)
                {
                    handleNavigationJumpRequested(mContext->getNetSource(n), n->get_id(), {n->get_destinations()[0]->get_gate()->get_id()}, {});
                }
                else
                {
                    mNavigationWidgetV3->setup(navigateRight);
                    mNavigationWidgetV3->setFocus();
                    mOverlay->show();
                }
 
                return;
            }
            case SelectionRelay::ItemType::Module: {
                Module* m = gNetlist->get_module_by_id(gSelectionRelay->focusId());
 
                if (!m)
                    return;
 
                if (gSelectionRelay->subfocus() == SelectionRelay::Subfocus::Right)
                {
                    Node needle(m->get_id(), Node::Module);
                    const NodeBox* nbox = mContext->getLayouter()->boxes().boxForNode(needle);
                    Q_ASSERT(nbox);
                    const GraphicsNode* gnode = static_cast<const GraphicsNode*>(nbox->item());
                    Q_ASSERT(gnode);
                    Net* n = gNetlist->get_net_by_id(gnode->outputNets().at(gSelectionRelay->subfocusIndex()));
                    Q_ASSERT(n);
 
                    if (n->get_num_of_destinations() == 0)
                    {
                        gSelectionRelay->clear();
                        gSelectionRelay->addNet(n->get_id());
                        gSelectionRelay->setFocus(SelectionRelay::ItemType::Net, n->get_id());
                        gSelectionRelay->relaySelectionChanged(nullptr);
                    }
                    else if (n->get_num_of_destinations() == 1)
                    {
                        handleNavigationJumpRequested(Node(m->get_id(), Node::Module), n->get_id(), {n->get_destinations()[0]->get_gate()->get_id()}, {});
                    }
                    else
                    {
                        mNavigationWidgetV3->setup(navigateRight);
                        mNavigationWidgetV3->setFocus();
                        mOverlay->show();
                    }
                }
                else if (m->get_output_nets().size())
                {
                    gSelectionRelay->setFocus(SelectionRelay::ItemType::Module, m->get_id(), SelectionRelay::Subfocus::Right, 0);
                    gSelectionRelay->relaySubfocusChanged(nullptr);
                }
            }
        }
    }
 
    bool GraphWidget::hasFocusedItem(SelectionRelay::Subfocus navigateDirection) const
    {
        if (gSelectionRelay->focusType() == SelectionRelay::ItemType::None && gSelectionRelay->numberSelectedItems() == 1)
        {
            // focus item has not been set but since only one item is selected it is obvious what the user wants
            if (gSelectionRelay->numberSelectedModules())
                gSelectionRelay->setFocusDirect(SelectionRelay::ItemType::Module, gSelectionRelay->selectedModulesVector().at(0));
            else if (gSelectionRelay->numberSelectedGates())
                gSelectionRelay->setFocusDirect(SelectionRelay::ItemType::Gate, gSelectionRelay->selectedGatesVector().at(0));
            else if (gSelectionRelay->numberSelectedNets())
                gSelectionRelay->setFocusDirect(SelectionRelay::ItemType::Net, gSelectionRelay->selectedNetsVector().at(0));
        }
 
        u32 id = gSelectionRelay->focusId();
        switch (gSelectionRelay->focusType())
        {
        case SelectionRelay::ItemType::Module:
            if (!mContext->modules().contains(id))
            {
                log_warning("gui", "Cannot navigate from selected origin module ID={}, folded module not found on current view.", id);
                return false;
            }
            break;
        case SelectionRelay::ItemType::Gate:
            if (!mContext->gates().contains(id))
            {
                log_warning("gui", "Cannot navigate from selected origin gate ID={}, gate not found on current view.", id);
                return false;
            }
            break;
        case SelectionRelay::ItemType::Net:
            switch (navigateDirection) {
            case SelectionRelay::Subfocus::Left:
                for (const Endpoint* ep : gNetlist->get_net_by_id(id)->get_destinations())
                    if (hasGate(ep->get_gate())) return true;
                break;
            case SelectionRelay::Subfocus::Right:
                for (const Endpoint* ep : gNetlist->get_net_by_id(id)->get_sources())
                    if (hasGate(ep->get_gate())) return true;
                break;
            default:
                return true;
            }
            log_warning("gui", "Cannot navigate from selected origin net ID={}, net not found on current view.", id);
            return false;
        default:
            log_warning("gui", "Cannot navigate, no origin selected");
            return false;
        }
        return true;
    }
 
    bool GraphWidget::hasGate(const Gate* g) const
    {
        if (!g) return false;
        if (mContext->gates().contains(g->get_id())) return true;
        const Module* parentModule = g->get_module();
        while (parentModule)
        {
            if (mContext->modules().contains(parentModule->get_id()))
                return true;
            parentModule = parentModule->get_parent_module();
        }
        return false;
    }
 
    void GraphWidget::handleNavigationUpRequest()
    {
        if (!hasFocusedItem(SelectionRelay::Subfocus::None)) return;
        // FIXME this is ugly
        if ((gSelectionRelay->focusType() == SelectionRelay::ItemType::Gate && mContext->gates().contains(gSelectionRelay->focusId()))
            || (gSelectionRelay->focusType() == SelectionRelay::ItemType::Module && mContext->modules().contains(gSelectionRelay->focusId())))
            gSelectionRelay->navigateUp();
    }
 
    void GraphWidget::handleNavigationDownRequest()
    {
        if (!hasFocusedItem(SelectionRelay::Subfocus::None)) return;
        // FIXME this is ugly
        if ((gSelectionRelay->focusType() == SelectionRelay::ItemType::Gate && mContext->gates().contains(gSelectionRelay->focusId()))
            || (gSelectionRelay->focusType() == SelectionRelay::ItemType::Module && mContext->modules().contains(gSelectionRelay->focusId())))
            gSelectionRelay->navigateDown();
    }
 
    void GraphWidget::handleEnterModuleRequested(const u32 id)
    {
        auto m = gNetlist->get_module_by_id(id);
        if (m->get_gates().empty() && m->get_submodules().empty())
        {
            QMessageBox msg;
            msg.setText("This module does not contain any gates, it cannot be unfolded.");
            msg.setWindowTitle("Error");
            msg.exec();
            return;
            // We would otherwise allow creation of a context with no gates, which
            // is bad because that context won't react to any updates since empty
            // contexts can't infer their corresponding module from their contents
        }
 
        if (mContext->gates().isEmpty() && mContext->modules() == QSet<u32>({id}))
        {
            ActionUnfoldModule* act = new ActionUnfoldModule(id);
            act->setContextId(mContext->id());
            act->exec();
        }
        else
            gGraphContextManager->openModuleInView(id, true);
    }
 
    void GraphWidget::ensureItemsVisible(const QSet<u32>& gates, const QSet<u32>& modules)
    {
        if (mContext->sceneUpdateInProgress())
            return;
 
        int min_x = INT_MAX;
        int min_y = INT_MAX;
        int max_x = INT_MIN;
        int max_y = INT_MIN;
 
        for (auto id : gates)
        {
            auto rect = mContext->scene()->getGateItem(id)->sceneBoundingRect();
 
            min_x = std::min(min_x, static_cast<int>(rect.left()));
            max_x = std::max(max_x, static_cast<int>(rect.right()));
            min_y = std::min(min_y, static_cast<int>(rect.top()));
            max_y = std::max(max_y, static_cast<int>(rect.bottom()));
        }
 
        // TODO clean up redundancy
        for (auto id : modules)
        {
            auto rect = mContext->scene()->getModuleItem(id)->sceneBoundingRect();
 
            min_x = std::min(min_x, static_cast<int>(rect.left()));
            max_x = std::max(max_x, static_cast<int>(rect.right()));
            min_y = std::min(min_y, static_cast<int>(rect.top()));
            max_y = std::max(max_y, static_cast<int>(rect.bottom()));
        }
 
        auto targetRect = QRectF(min_x, min_y, max_x - min_x, max_y - min_y).marginsAdded(QMarginsF(20, 20, 20, 20));
 
        focusRect(targetRect, true);
    }
 
    void GraphWidget::ensureSelectionVisible()
    {
        if (mContext->sceneUpdateInProgress())
            return;
 
        if (!mContext->gates().contains(gSelectionRelay->selectedGates()) || !mContext->nets().contains(gSelectionRelay->selectedNets())
            || !mContext->modules().contains(gSelectionRelay->selectedModules()))
            return;
 
        int min_x = INT_MAX;
        int min_y = INT_MAX;
        int max_x = INT_MIN;
        int max_y = INT_MIN;
 
        for (auto id : gSelectionRelay->selectedGatesList())
        {
            auto rect = mContext->scene()->getGateItem(id)->sceneBoundingRect();
 
            min_x = std::min(min_x, static_cast<int>(rect.left()));
            max_x = std::max(max_x, static_cast<int>(rect.right()));
            min_y = std::min(min_y, static_cast<int>(rect.top()));
            max_y = std::max(max_y, static_cast<int>(rect.bottom()));
        }
 
        for (auto id : gSelectionRelay->selectedNetsList())
        {
            auto rect = mContext->scene()->getNetItem(id)->sceneBoundingRect();
 
            min_x = std::min(min_x, static_cast<int>(rect.left()));
            max_x = std::max(max_x, static_cast<int>(rect.right()));
            min_y = std::min(min_y, static_cast<int>(rect.top()));
            max_y = std::max(max_y, static_cast<int>(rect.bottom()));
        }
 
        for (auto id : gSelectionRelay->selectedModulesList())
        {
            auto rect = mContext->scene()->getModuleItem(id)->sceneBoundingRect();
 
            min_x = std::min(min_x, static_cast<int>(rect.left()));
            max_x = std::max(max_x, static_cast<int>(rect.right()));
            min_y = std::min(min_y, static_cast<int>(rect.top()));
            max_y = std::max(max_y, static_cast<int>(rect.bottom()));
        }
 
        auto targetRect = QRectF(min_x, min_y, max_x - min_x, max_y - min_y).marginsAdded(QMarginsF(20, 20, 20, 20));
 
        focusRect(targetRect, true);
    }
 
    void GraphWidget::focusRect(QRectF targetRect, bool applyCenterFix)
    {
        QRectF currentRect;
        if (mStoreViewport.mValid)
        {
            currentRect = restoreViewport();
            mView->fitInView(currentRect, Qt::KeepAspectRatio);
            /*
            QRect vg = mView->viewport()->geometry();
            QPoint viewportCenter = (vg.topLeft() + vg.bottomRight()) / 2;
            QVector<QPoint> qp = mView->closestLayouterPos(mView->mapToScene(QPoint(viewportCenter)));
            qDebug() << "focus" << viewportCenter << qp[0] << qp[1] << currentRect;
            */
        }
        else
        {
            currentRect = mView->mapToScene(mView->viewport()->geometry()).boundingRect();
        }
 
        int durationMsec = sSettingAnimationDuration->value().toInt() * 100;
 
        //check prevents jitter bug / resizing bug occuring due to error in 'fitToView'
        //only happens when current and target are the same as on last usage
        //solution -> just disable the focus alltogether if current and target are the same as last time, no need to fire animation again
        if (!(targetRect == mLastTargetRect && currentRect == mRectAfterFocus))
        {
            mLastTargetRect = targetRect;
 
            if (applyCenterFix)
            {
                auto centerFix = targetRect.center();
                targetRect.setWidth(std::max(targetRect.width(), currentRect.width()));
                targetRect.setHeight(std::max(targetRect.height(), currentRect.height()));
                targetRect.moveCenter(centerFix);
            }
 
            if (durationMsec)
            {
                auto anim = new QVariantAnimation();
                anim->setDuration(durationMsec);
                anim->setStartValue(currentRect);
                anim->setEndValue(targetRect);
 
                connect(anim, &QVariantAnimation::valueChanged, [=](const QVariant& value) { mView->fitInView(value.toRectF(), Qt::KeepAspectRatio); });
 
                connect(anim, &QVariantAnimation::finished, [this]() { mRectAfterFocus = mView->mapToScene(mView->viewport()->geometry()).boundingRect(); });
 
                anim->start(QAbstractAnimation::DeleteWhenStopped);
            }
            else
            {
                mView->fitInView(targetRect, Qt::KeepAspectRatio);
            }
        }
    }
 
    void GraphWidget::focusGate(u32 gateId)
    {
        const GraphicsGate* gate = mContext->scene()->getGateItem(gateId);
 
        if (gate)
        {
            QRectF targetRect = gate->sceneBoundingRect().marginsAdded(QMargins(50, 50, 50, 50));
            focusRect(targetRect, false);
        }
    }
 
    void GraphWidget::focusNet(u32 netId)
    {
        const GraphicsNet* net = mContext->scene()->getNetItem(netId);
 
        if (net)
        {
            QRectF targetRect = net->sceneBoundingRect().marginsAdded(QMargins(50, 50, 50, 50));
            focusRect(targetRect, false);
        }
    }
 
    void GraphWidget::focusModule(u32 moduleId)
    {
        const GraphicsModule* module = mContext->scene()->getModuleItem(moduleId);
 
        if (module)
        {
            QRectF targetRect = module->sceneBoundingRect().marginsAdded(QMargins(50, 50, 50, 50));
            focusRect(targetRect, false);
        }
    }
 
    void GraphWidget::resetFocus()
    {
        mView->setFocus();
    }
 
    GraphGraphicsView* GraphWidget::view()
    {
        return mView;
    }
 
    void GraphWidget::pluginProgressIndicator(int percent, const std::string& msg)
    {
        // qDebug() << "progress" << hex << (quintptr) QThread::currentThread() << (quintptr) gPythonContext->currentThread() << (quintptr) dynamic_cast<PythonThread*>(QThread::currentThread());
        if (!sInstance || gPythonContext->pythonThread()) return;
        if (percent==100)
            sInstance->handleSceneAvailable();
        else
            sInstance->showBusy(percent, QString::fromStdString(msg));
    }
 
}    // namespace hal