☰
D
dejadoc
GID:GTKSOURCE5
/
gtksource.region
/
Region.isEmpty
🔍
☾
Region.isEmpty
bool isEmpty()
Returns whether the region is empty.
A null region is considered empty.
Returns
whether the region is empty.