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

regions plugin: allow drawing new regions over old ones, when the old ones are not resizable and not draggable #1633

Merged
merged 6 commits into from Apr 28, 2019
Merged

regions plugin: allow drawing new regions over old ones, when the old ones are not resizable and not draggable #1633

merged 6 commits into from Apr 28, 2019

Commits on Apr 17, 2019

  1. Added npm prepare script for clean builds

    @moritzvieli
    moritzvieli committed Apr 17, 2019
    Configuration menu
    Copy the full SHA
    616c38c View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2019

  1. Merge pull request #1 from katspaugh/master 

    Sync
    @moritzvieli
    moritzvieli committed Apr 18, 2019
    Configuration menu
    Copy the full SHA
    31ebf8f View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2019

  1. Enable drawing regions over regions, if the underlying region is not … 

    …draggable/resizable
    @moritzvieli
    moritzvieli committed Apr 23, 2019
    Configuration menu
    Copy the full SHA
    bb7ef2f View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2019

  1. Merge pull request #2 from katspaugh/master 

    sync
    @moritzvieli
    moritzvieli committed Apr 25, 2019
    Configuration menu
    Copy the full SHA
    7729278 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into feature/overlapping-regions

    @moritzvieli
    moritzvieli committed Apr 25, 2019
    Configuration menu
    Copy the full SHA
    a07a810 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2019

  1. Better documentation

    @moritzvieli
    moritzvieli committed Apr 26, 2019
    Configuration menu
    Copy the full SHA
    166be38 View commit details
    Browse the repository at this point in the history