Searched refs:WORKSPACE_WIDGET_SCALE (Results 1 – 1 of 1) sorted by relevance
324 private static final FloatProperty<Workspace<?>> WORKSPACE_WIDGET_SCALE = field in Launcher2885 WORKSPACE_WIDGET_SCALE.set(getWorkspace(), scale);