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

Activations #316

Merged
merged 5 commits into from
Mar 12, 2016
Merged

Activations #316

merged 5 commits into from
Mar 12, 2016

Commits on Mar 8, 2016

  1. draft of activation boxes handling

    @ciekawy
    ciekawy committed Mar 8, 2016
    Configuration menu
    Copy the full SHA
    2452532 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2016

  1. draw activation boxes

    @ciekawy
    ciekawy committed Mar 11, 2016
    Configuration menu
    Copy the full SHA
    614e9f4 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2016

  1. fix deactivating proper actor from activation stack

    @ciekawy
    ciekawy committed Mar 12, 2016
    Configuration menu
    Copy the full SHA
    499a258 View commit details
    Browse the repository at this point in the history

  2. handle one line arrow activation notation

    @ciekawy
    ciekawy committed Mar 12, 2016
    Configuration menu
    Copy the full SHA
    513c35d View commit details
    Browse the repository at this point in the history

  3. better align activation box start

    @ciekawy
    ciekawy committed Mar 12, 2016
    Configuration menu
    Copy the full SHA
    3f85391 View commit details
    Browse the repository at this point in the history