Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

update workspace selection #10

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

update workspace selection #10

wants to merge 4 commits into from

Commits on Apr 1, 2024

  1. fixing an issue where it was possible to accidentally write to an inc… 

    …orrect workspace if you have archived ones present
    @TJ-G
    TJ-G committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    da1869c View commit details
    Browse the repository at this point in the history

  2. Just show archived worspaces too, and let the user know it is archived

    @TJ-G
    TJ-G committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    e60a95a View commit details
    Browse the repository at this point in the history

  3. removed an extreneous space

    @TJ-G
    TJ-G committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    80ac30a View commit details
    Browse the repository at this point in the history

  4. switching to dict to specify the workspace by name instead of index

    @TJ-G
    TJ-G committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    354d539 View commit details
    Browse the repository at this point in the history