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

Improvements to regulations editor #22

Merged
merged 13 commits into from
Dec 1, 2023
Merged

Improvements to regulations editor #22

merged 13 commits into from
Dec 1, 2023

Commits on Nov 13, 2023

  1. initial impl of regul. editor

    @ivicic-petr
    ivicic-petr committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    6210516 View commit details
    Browse the repository at this point in the history

  2. added node menu

    @ivicic-petr
    ivicic-petr committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    d0ced58 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. updated node menu visuals

    @ivicic-petr
    ivicic-petr committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    3520b1b View commit details
    Browse the repository at this point in the history

  2. added edge menu

    @ivicic-petr
    ivicic-petr committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    e07e68f View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. updated menu interactivity

    @ivicic-petr
    ivicic-petr committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    0a48fb9 View commit details
    Browse the repository at this point in the history

  2. added graph state saving

    @ivicic-petr
    ivicic-petr committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    75117b5 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2023

  1. updated edge handling

    @ivicic-petr
    ivicic-petr committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    3a53da2 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feat/regulations_editor

    @ivicic-petr
    ivicic-petr committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    bcde382 View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2023

  1. added responsiveness to other tabs

    @ivicic-petr
    ivicic-petr committed Nov 25, 2023
    Configuration menu
    Copy the full SHA
    6c17bf3 View commit details
    Browse the repository at this point in the history

  2. Added add edge button

    @ivicic-petr
    ivicic-petr committed Nov 25, 2023
    Configuration menu
    Copy the full SHA
    56b6acf View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. Added rename node functionality

    @ivicic-petr
    ivicic-petr committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    0a18b42 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. Added input validation for node rename

    @ivicic-petr
    ivicic-petr committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    ee1735b View commit details
    Browse the repository at this point in the history

  2. Fixed float menu width

    @ivicic-petr
    ivicic-petr committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    3b21dcf View commit details
    Browse the repository at this point in the history