Skip to content
This repository has been archived by the owner on Nov 8, 2024. It is now read-only.

Features/workspace tabs save #16

Merged
merged 3 commits into from
Jul 18, 2023
Merged

Features/workspace tabs save #16

merged 3 commits into from
Jul 18, 2023

Commits on Jul 17, 2023

  1. tabs panel refactored

    @NickRimmer
    NickRimmer committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    fbabb0a View commit details
    Browse the repository at this point in the history

  2. save tabs on workspace switch implemented

    @NickRimmer
    NickRimmer committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    b651003 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. cleaning up db on start

    @NickRimmer
    NickRimmer committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    75e6bc3 View commit details
    Browse the repository at this point in the history