Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
WAR: disable USE_DIRTY_REGION_MANAGEMENT option (#406)
This change disables 'dirty-region-management' feature to prevent a fricker issue. See #334 for the details. Signed-off-by: Hidenori Matsubayashi <[email protected]>
- Loading branch information