Skip to content

First time use we may help user with "Got It" tooltip #255

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

Conversation

Vassiliy-Kudryashov
Copy link
Member

@Vassiliy-Kudryashov Vassiliy-Kudryashov commented Jun 20, 2022

Description

First time the plugin shown a hint, "Got it message" to promote the plugin and especially its actual shortcut

Fixes #157

Type of Change

Please delete options that are not relevant.

  • New feature (non-breaking change which adds functionality)

How Has This Been Tested?

Manual Scenario

  1. Start IDE with plugin and clean config (to get the config clean in terms of this issue you may delete a line <property name="UTBot.GotItMessageWasShown" value="true" /> in config/options/other.xml

  2. Check if the message appears after some initial activity (loading/indexing etc.), don't press 'Got it' button.

  3. Restart IDE, the message has to appear again, now press 'Got it button'

  4. Restart IDE, ensure the message doesn't appear again.

Checklist (remove irrelevant options):

  • The change followed the style guidelines of the UTBot project
  • Self-review of the code is passed
  • The change contains enough commentaries, particularly in hard-to-understand areas
  • New documentation is provided or existed one is altered
  • No new warnings
  • Tests that prove my change is effective
  • All tests pass locally with my changes

Visual proof

image

@Vassiliy-Kudryashov Vassiliy-Kudryashov linked an issue Jun 20, 2022 that may be closed by this pull request
@Vassiliy-Kudryashov Vassiliy-Kudryashov force-pushed the Vassiliy-Kudryashov/157-first-time-use-we-may-help-user-with-got-it-tooltip branch from ecb0754 to b7abb1c Compare June 21, 2022 07:54
@Vassiliy-Kudryashov Vassiliy-Kudryashov changed the title Vassiliy kudryashov/157 first time use we may help user with got it tooltip Vassiliy-Kudryashov/first time use we may help user with got it tooltip Jun 21, 2022
@Vassiliy-Kudryashov Vassiliy-Kudryashov changed the title Vassiliy-Kudryashov/first time use we may help user with got it tooltip First time use we may help user with "Got It" tooltip Jun 21, 2022
@Vassiliy-Kudryashov Vassiliy-Kudryashov force-pushed the Vassiliy-Kudryashov/157-first-time-use-we-may-help-user-with-got-it-tooltip branch 2 times, most recently from ee63b90 to 6395569 Compare June 22, 2022 11:09
@denis-fokin
Copy link
Collaborator

Please, add a screenshot. The screenshot will help to evaluate correctness of the behavior in future

@Vassiliy-Kudryashov Vassiliy-Kudryashov enabled auto-merge (squash) June 23, 2022 09:15
@Vassiliy-Kudryashov Vassiliy-Kudryashov force-pushed the Vassiliy-Kudryashov/157-first-time-use-we-may-help-user-with-got-it-tooltip branch from a75906a to dc7841e Compare June 23, 2022 12:59
@Vassiliy-Kudryashov Vassiliy-Kudryashov merged commit 9f6d83f into main Jun 23, 2022
@Vassiliy-Kudryashov Vassiliy-Kudryashov deleted the Vassiliy-Kudryashov/157-first-time-use-we-may-help-user-with-got-it-tooltip branch June 23, 2022 14:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

First time use we may help user with "Got It" tooltip
2 participants