posit-dev / posit-dev/positron

Console: Option to hide sidebar/console tab list

Open
#8,912 3 comments 3 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

area: console area: ui theme: runtime startup
Dominant language
TypeScript
Stars
4.3k
Forks
184
Avg merge
1d 9h
Merged PRs (30d)
195

Description

Currently, if you have more than one session in Positron, you give up quite a lot of real estate in the IDE to the console tab list that is not reclaimable. For example, having one R and one Python session (or, more likely, two R sessions, etc.) results in this:

Image

This is a lot of space, and while it's probably not uncommon for there to be > 1 session, I would guess very few people will use the rest of the space (i.e. having > 5 active sessions seems unlikely), so this space will be empty for most people.

Could we...

  • make the tab list collapsible, like the data viewer's, so you can bring it into/out of view as needed?
  • have a mode where sessions collapse to the width of a single icon?
  • have an option to use a dropdown to choose your visible session (as we had before the tab list)?

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

No file or test is named in the issue. Start by locating the console tab list and comparing it with the collapsible data viewer, then clarify which of the three proposed session-navigation modes is wanted. Done means reclaimable console space is available while sessions remain discoverable and usable.

Written by the indexing model from the issue text.

Assessment

Tech stack
typescript
Domain
desktop-dev, frontend
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.