Searched defs:extent (Results 1 – 2 of 2) sorted by relevance
982 Point extent = gc.textExtent(displayName); in paintTitle() local1014 Point extent = gc.textExtent(fileName); in paintTitle() local
398 org.eclipse.swt.graphics.Point extent = getGc().stringExtent(s.toString()); in drawBoxedStrings() local