The scleral resection (eyeball-shortening) operation.