Skip to content
This repository has been archived by the owner on Mar 16, 2020. It is now read-only.

Patches for atom 1.18 #1130

Merged
merged 6 commits into from
Jul 27, 2017
Merged

Patches for atom 1.18 #1130

merged 6 commits into from
Jul 27, 2017

Conversation

cdavidjean
Copy link
Contributor

Fixed startup for atom 1.18
Fixed pub calls
Fixed linter/squiggles

Copy link
Contributor

@devoncarew devoncarew left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the PR! Much appreciated.

I see you added some additional commits - is this PR still in progress?

@@ -116,19 +131,24 @@ class TooltipElement extends CoreElement {
: super('div', classes: 'hover-tooltip') {
id = 'hover-tooltip';

print(position);
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We should remove this.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Done.

@@ -26,9 +26,9 @@
"^1.0.0": "consumeToolbar"
}
},
"linter-plus-self": {
"linter-indie": {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do we need to update the required-packages list above as well?

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Depends on whether whatever is consuming the required-packages key supports version numbers as that service is only available with linter v2.

@devoncarew
Copy link
Contributor

I landed the atom.dart plugin, so the travis build job now finishes cleanly.

@cdavidjean
Copy link
Contributor Author

cdavidjean commented Jul 27, 2017 via email

@devoncarew
Copy link
Contributor

devoncarew commented Jul 27, 2017

Should i try to uncommit those changes?

I would either revert those changes and update the PR, or keeping working and I can re-review when you're done. You'll have a bit of a git dance to do, so the 2nd option would likely be easier for you (given that you're new to git. I'm happy with whichever way you'd prefer -

@cdavidjean
Copy link
Contributor Author

cdavidjean commented Jul 27, 2017 via email

cdavidjean and others added 2 commits July 27, 2017 20:38
Moved to stream listeners.
Changed tooltip to avoid updating if mouse is over same range.
@cdavidjean
Copy link
Contributor Author

A Better summary of this PR (which is now ready for review, sorry):

  • Fixed jumpKey navigation
  • Fixed linter service (using newer linter api)
  • Fixed outline by attaching to editor element instead of shadowDom root.
  • Fixed some startup NPE.
  • Revived Tooltips, moved them above (not to clash with linter) and added debouncing.
  • Added tracking subscription for TooltipManager.

@devoncarew
Copy link
Contributor

Awesome! Thanks much, landing.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants