导航的线换成点

This commit is contained in:
2020-11-26 18:11:14 +08:00
parent 2435b99034
commit e75261d5a7
4 changed files with 14 additions and 5 deletions

View File

@@ -81,6 +81,7 @@ import com.android.uiuios.folder.PreviewBackground;
import com.android.uiuios.graphics.DragPreviewProvider;
import com.android.uiuios.graphics.PreloadIconDrawable;
import com.android.uiuios.graphics.RotationMode;
import com.android.uiuios.pageindicators.PageIndicatorDots;
import com.android.uiuios.pageindicators.WorkspacePageIndicator;
import com.android.uiuios.popup.PopupContainerWithArrow;
import com.android.uiuios.shortcuts.ShortcutDragPreviewProvider;
@@ -110,7 +111,8 @@ import java.util.function.Predicate;
* Each page contains a number of icons, folders or widgets the user can
* interact with. A workspace is meant to be used with a fixed width only.
*/
public class Workspace extends PagedView<WorkspacePageIndicator>
//public class Workspace extends PagedView<WorkspacePageIndicator>
public class Workspace extends PagedView<PageIndicatorDots>
implements DropTarget, DragSource, View.OnTouchListener,
DragController.DragListener, Insettable, LauncherStateManager.StateHandler,
WorkspaceLayoutManager {