☰
DDOCs
GID:GTKSOURCE4
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.