//! The "PMI" (Product & Manufacturing Information) workbench — PLACEHOLDER.
//!
//! Established so it appears in the workbench dropdown; not yet fleshed out. It
//! exposes no creatable features and registers no buttons/panels — a shell to be
//! given a real feature set (and any PMI-specific tools) later. The `includes`
//! predicate returns `false` on purpose: the creation UI is empty until this
//! workbench is defined.
use ;
/// Placeholder: no features yet.
/// No extra toolbar buttons (placeholder).
static BUTTONS: & = &;
/// No panel claims (placeholder).
static PANELS: & = &;
pub static PMI: Workbench = Workbench ;