SourceClass IdSalt ⧉

class IdSalt:

A "locally unique" identifier, e.g. to identify a child widget within a parent widget.

An IdSalt is only unique within a parent egui.Id. An IdSalt is NOT globally unique.

You combine a parent egui.Id with an IdSalt to get a child egui.Id, using egui.Id.with.

An IdSalt is usually a string, an integer, or similar.

An IdSalt should NOT be produced from an egui.Id.

This is niche-optimized to that IdSalt | None is the same size as IdSalt.