DevbarPanelHandle class
One panel being served, and the only way to stop.
A handle that is never removed leaves a panel outliving what it describes —
still listed, still answering, its handlers closed over a database that was
closed at logout. Nothing reports it: the visible symptom is the next one
arriving as db:main#2, because the id it wanted is still taken. That is
the cost of the imperative half, and why the widget exists.
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- id → String?
-
The id the panel actually got, which is not always the one
DevbarPanelSource.panelId asked for — a panel already using that name
keeps it and this one is suffixed. Null when nothing is watching.
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
remove(
) → void -
Stops serving it. Removing twice is a no-op, so this can sit in a
disposethat aclosehas already run through. -
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited