editors/editor_int library

Classes

EditorInt

EditorBase implementation for int properties.

EditorIntWidget

A TextField-based widget for editing integer properties.

EditorIntWidgetState

State for EditorIntWidget.