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