fix: vergilius fnptr import, remove tab pin, flatten workspace tree, middle-click close

- Fix vergilius_to_rcx.py to detect function pointer syntax (*Name)(params) and emit FuncPtr64
- Re-fetch 85 structs to recover proper field names (697/716 fixed)
- Remove pin button from dock tabs and all pin-related context menu items
- Fix newClass() creating duplicate tabs
- Set workspace tree font to match tab bar (size 10)
- Flatten workspace tree: remove redundant Project group node (VS Code Explorer style)
- Add middle-click to close dock widget tabs
- Allow type chooser to show cross-doc types for root nodes

src/dock_tab_buttons.h

@@ -5,28 +5,18 @@
 #include <QHBoxLayout>
 #include <QIcon>
 
-// Dock tab button widget (pin + close)
+// Dock tab button widget (close button)
 // Placed on the right side of each dock tab via QTabBar::setTabButton.
 class DockTabButtons : public QWidget {
     Q_OBJECT
 public:
-    QToolButton* pinBtn;
     QToolButton* closeBtn;
-    bool pinned = false;
 
     explicit DockTabButtons(QWidget* parent = nullptr) : QWidget(parent) {
         auto* hl = new QHBoxLayout(this);
         hl->setContentsMargins(0, 0, 0, 0);
         hl->setSpacing(0);
 
-        pinBtn = new QToolButton(this);
-        pinBtn->setAutoRaise(true);
-        pinBtn->setCursor(Qt::PointingHandCursor);
-        pinBtn->setFixedSize(16, 16);
-        pinBtn->setToolTip("Pin tab");
-        updatePinIcon();
-        hl->addWidget(pinBtn);
-
         closeBtn = new QToolButton(this);
         closeBtn->setAutoRaise(true);
         closeBtn->setCursor(Qt::PointingHandCursor);
@@ -35,31 +25,12 @@ public:
         closeBtn->setIcon(QIcon(":/vsicons/close.svg"));
         closeBtn->setIconSize(QSize(12, 12));
         hl->addWidget(closeBtn);
-
-        connect(pinBtn, &QToolButton::clicked, this, [this]() {
-            pinned = !pinned;
-            updatePinIcon();
-            emit pinToggled(pinned);
-        });
     }
 
     void applyTheme(const QColor& hover) {
         QString style = QStringLiteral(
             "QToolButton { border: none; padding: 1px; border-radius: 0px; }"
             "QToolButton:hover { background: %1; }").arg(hover.name());
-        pinBtn->setStyleSheet(style);
         closeBtn->setStyleSheet(style);
     }
-
-    void setPinned(bool p) { pinned = p; updatePinIcon(); emit pinToggled(pinned); }
-
-signals:
-    void pinToggled(bool pinned);
-
-private:
-    void updatePinIcon() {
-        pinBtn->setIcon(QIcon(pinned ? ":/vsicons/pinned.svg" : ":/vsicons/pin.svg"));
-        pinBtn->setIconSize(QSize(12, 12));
-        pinBtn->setToolTip(pinned ? "Unpin tab" : "Pin tab");
-    }
 };