Skip to content
This repository was archived by the owner on Apr 1, 2020. It is now read-only.

Allow toggling of the Plugins pane in the sidebar #2417

Merged
merged 2 commits into from
Jul 14, 2018
Merged

Allow toggling of the Plugins pane in the sidebar #2417

merged 2 commits into from
Jul 14, 2018

Conversation

jordan-arenstein
Copy link
Contributor

#2343 added the functionality to toggle the Explorer pane in the sidebar. This adds the same functionality to the Plugins pane.

The bug mentioned in #2349 does not affect this command.

#2343 added the functionality to toggle the Explorer pane in the sidebar. This adds the same functionality to the Plugins pane.

The bug mentioned in #2349 does not affect this command.
@codecov
Copy link

codecov bot commented Jul 10, 2018

Codecov Report

Merging #2417 into master will not change coverage.
The diff coverage is 0%.

Impacted file tree graph

@@          Coverage Diff           @@
##           master   #2417   +/-   ##
======================================
  Coverage    38.3%   38.3%           
======================================
  Files         300     300           
  Lines       12540   12540           
  Branches     1651    1651           
======================================
  Hits         4804    4804           
  Misses       7481    7481           
  Partials      255     255
Impacted Files Coverage Δ
browser/src/App.ts 9.05% <0%> (ø) ⬆️

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 75ab1b8...0b2a660. Read the comment docs.

Copy link
Member

@akinsho akinsho 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 contribution 👍

@akinsho akinsho merged commit cca5847 into onivim:master Jul 14, 2018
@jordan-arenstein jordan-arenstein deleted the toggle-plugins-pane branch July 16, 2018 09:20
@jordan-arenstein jordan-arenstein restored the toggle-plugins-pane branch July 16, 2018 09:21
@jordan-arenstein jordan-arenstein deleted the toggle-plugins-pane branch July 16, 2018 09:21
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.

2 participants