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

move contextual help to the help menu #6678

Merged
merged 6 commits into from Jun 21, 2019
Merged

move contextual help to the help menu #6678

merged 6 commits into from Jun 21, 2019
+25 −20

Commits on Jun 21, 2019

  1. move contextual help to the help menu

    @ivanov
    ivanov committed Jun 21, 2019
    Copy the full SHA
    338ba2d View commit details
    Browse the repository at this point in the history

  2. Contextual help in its own menu group

    @ivanov
    ivanov committed Jun 21, 2019
    Copy the full SHA
    4e135cb View commit details
    Browse the repository at this point in the history

  3. remove 'Open ' from contextual help label

    @ivanov
    ivanov committed Jun 21, 2019
    Copy the full SHA
    5936a19 View commit details
    Browse the repository at this point in the history

  4. consolidate title and label to label

    @ivanov
    ivanov committed Jun 21, 2019
    Copy the full SHA
    d0a976f View commit details
    Browse the repository at this point in the history

  5. Make compile.

    @ian-r-rose
    ian-r-rose committed Jun 21, 2019
    Copy the full SHA
    1d41402 View commit details
    Browse the repository at this point in the history

  6. fix lint errors

    @ivanov
    ivanov committed Jun 21, 2019
    Copy the full SHA
    e9dbacc View commit details
    Browse the repository at this point in the history