Comment

Comment by anon____

Yes. After pressing Alt+space then R, the first pressing of an arrow key selects the border you want to move, let's say the left. You can then move that with the left/right arrows. If you press up or down in this state, it will, again, select the corresponding border to work on.
parent anon____ 3 years ago

No comments yet

Be the first to share your thoughts.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton