To pick up a draggable item, press the space bar.
While dragging, use the arrow keys to move the item.
Press space again to drop the item in its new position, or press escape to cancel.
Search results
#17453 In python/mypy;· cdce8p opened on Jun 30, 2024 #16919 In python/mypy;· JukkaL opened on Feb 15, 2024 #13979 In python/mypy;· JukkaL opened on Nov 1, 2022 #13310 In python/mypy;· tmke8 opened on Aug 2, 2022 #12525 In python/mypy;· intgr opened on Apr 5, 2022 #10786 In python/mypy;· posita opened on Jul 8, 2021 #7224 In python/mypy;· JukkaL opened on Jul 16, 2019 #6002 In python/mypy;· JukkaL opened on Dec 4, 2018