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

Distinguish between the global viewspace and a view group #63

Merged
merged 19 commits into from
Jun 18, 2023

Commits on Jun 18, 2023

  1. Configuration menu
    Copy the full SHA
    3cb20e2 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    c2566ef View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    a40a8a6 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    51af467 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    2f20bba View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    846745a View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    f9fc043 View commit details
    Browse the repository at this point in the history
  8. Document more settings

    mvanderkamp committed Jun 18, 2023
    Configuration menu
    Copy the full SHA
    3c8e260 View commit details
    Browse the repository at this point in the history
  9. Fix formatting

    mvanderkamp committed Jun 18, 2023
    Configuration menu
    Copy the full SHA
    e70e41a View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    e4bb746 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    4d651e8 View commit details
    Browse the repository at this point in the history
  12. Remove commented-out line

    mvanderkamp committed Jun 18, 2023
    Configuration menu
    Copy the full SHA
    cf7c78a View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    265f5d8 View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    e3022fd View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    007e9a5 View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    3731b08 View commit details
    Browse the repository at this point in the history
  17. Revert "Add missing "moveTo" override"

    This reverts commit 3731b08.
    mvanderkamp committed Jun 18, 2023
    Configuration menu
    Copy the full SHA
    1825551 View commit details
    Browse the repository at this point in the history
  18. Configuration menu
    Copy the full SHA
    152362a View commit details
    Browse the repository at this point in the history
  19. Fix formatting

    mvanderkamp committed Jun 18, 2023
    Configuration menu
    Copy the full SHA
    e4403e3 View commit details
    Browse the repository at this point in the history