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.

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

wxGUI: Make GUI workspace part of mapset #3113

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

Commits on Aug 5, 2023

  1. wxGUI: Make GUI workspace part of mapset

    - Automatically create workspace file in a mapset when GUI is notified about the change if it does not exist.
    - If workspace exists in a mapset, open it.
    - If workspace does not exists and but the previous mapset was in the same location, it keeps the open mapdisplays as before.
    - The updates to workspace are not saved automatically (in time interval, before switch, or at exit), so user needs to save the workspace (Ctrl+S) in order to keep the state.
    
    This is a proof of concept and not meant for merging. If someone wants to pick it up, I'm more than fine with that.
    wenzeslaus committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    f9c3117 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. Configuration menu
    Copy the full SHA
    c076673 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2024

  1. Update frame.py

    Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
    echoix and github-actions[bot] authored Jul 19, 2024
    Configuration menu
    Copy the full SHA
    8133431 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2024

  1. Configuration menu
    Copy the full SHA
    a1100d0 View commit details
    Browse the repository at this point in the history