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.

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

Fix arrowing up and down to save code too #8574

Merged
merged 1 commit into from
Nov 14, 2019
Merged

Conversation

rchiodo
Copy link

@rchiodo rchiodo commented Nov 14, 2019

For #8491

We need to save code whenever leaving an editor.

I'm beginning to think we should just update the state whenever we type. It would eliminate all of these goofy problems. Just worried it would refresh too much.

@codecov-io
Copy link

codecov-io commented Nov 14, 2019

Codecov Report

Merging #8574 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #8574   +/-   ##
=======================================
  Coverage   59.39%   59.39%           
=======================================
  Files         511      511           
  Lines       23699    23699           
  Branches     3834     3834           
=======================================
  Hits        14075    14075           
  Misses       8705     8705           
  Partials      919      919

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 396b2f6...72d83d6. Read the comment docs.

@rchiodo rchiodo merged commit 6c5d7f5 into master Nov 14, 2019
@rchiodo rchiodo deleted the rchiodo/8491_arrow_updown branch November 14, 2019 17:39
@rchiodo rchiodo restored the rchiodo/8491_arrow_updown branch November 14, 2019 17:39
@rchiodo rchiodo deleted the rchiodo/8491_arrow_updown branch November 14, 2019 17:39
@lock lock bot locked as resolved and limited conversation to collaborators Nov 21, 2019
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