☰
DDOCs
GID:GTKSOURCE5
v0.9.13
/
gtksource.region
/
Region.isEmpty
🔍
☾
Region.isEmpty
bool isEmpty()
nothrow
Returns whether the region is empty.
A null region is considered empty.
Returns
whether the region is empty.