Searched refs:extraHeightForTaskbarTooltips (Results 1 – 1 of 1) sorted by relevance
982 int extraHeightForTaskbarTooltips = enableCursorHoverStates() in getDefaultTaskbarWindowSize() local997 + Math.max(extraHeightForTaskbarTooltips, resources.getDimensionPixelSize( in getDefaultTaskbarWindowSize()1004 + extraHeightForTaskbarTooltips; in getDefaultTaskbarWindowSize()