Skip to content

Rock Explorer: Tab count for misc elements #1254

Open
Open
Rock Explorer: Tab count for misc elements#1254
Labels
scope: rock explorertype: feat

Description

@dorthrithil
dorthrithil
opened on Aug 9, 2026

Add a tab count chip for the features misc elements.

Metadata

Metadata

Assignees

No one assigned

    Labels

    scope: rock explorertype: feat

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions