dev_tools.hpp File Reference

morph::ui::DevelopmentTools: whether a client runs in development mode (spec 6 §21). The tools are in every build; this decides at run time whether they are on. Specified in docs/spec/ui/inspector.md. More...

#include <cstdint>

Go to the source code of this file.

Enumerations
enum class	morph::ui::DevelopmentTools : std::uint8_t { Off , On }
	Whether a session's screens record what the development inspector reads, and whether a frontend opens the inspector (spec 6 §21). More...

Detailed Description

morph::ui::DevelopmentTools: whether a client runs in development mode (spec 6 §21). The tools are in every build; this decides at run time whether they are on. Specified in docs/spec/ui/inspector.md.

Definition in file dev_tools.hpp.

Enumeration Type Documentation

DevelopmentTools

enum class morph::ui::DevelopmentTools : std::uint8_t

strong

Whether a session's screens record what the development inspector reads, and whether a frontend opens the inspector (spec 6 §21).

Enumerator
Off	Nothing is recorded, no inspector is handed out, and the inspector's shortcut does nothing.
On	Each screen records its lowered nodes, its live scopes and its latest command lists.

Definition at line 14 of file dev_tools.hpp.