Searched refs:domO (Results 1 – 1 of 1) sorted by relevance
552 double domO = userDomainOrigin.doubleValue(); in centerOnDomainOrigin() local554 userMaxX = domO + domE; in centerOnDomainOrigin()555 userMinX = domO - domE; in centerOnDomainOrigin()