Skip to content

Join GitHub (or sign in) to find projects, people, and topics catered to your interests.

Here's what's popular on GitHub today...

ESLint logo
Popular topic
The pluggable linting utility for JavaScript and JSX.
Hacktoberfest
Upcoming event recommended by GitHub
Oct
1

Hacktoberfest

October 01, 2020 - October 31, 2020 • Online

Hacktoberfest
hoppscotch
Trending repository
JoelJacobStephen
JoelJacobStephen commented Aug 24, 2020

Describe the bug
When I pull the resize button of the code editor, it doesn't the resize the code in the editor.

To Reproduce
Steps to reproduce the behavior:

  1. Click the resize button on the code editor and drag it down
  2. The code doesn't resize

Expected behavior
I expected the code to resize as I drag down the button.

Screenshots
If applicable, add screenshots to

App recommended by GitHub

Buddy

Get back your time with Buddy’s delivery pipelines that eliminate repeatable tasks in your daily development.

Automatically build & ship web projects on a single git push, on click, or recurrently. Easily define your own delivery process just like you build a house of bricks: from builds and tests, to deployments, custom scripts, and website monitoring.

Bring the newest tech to your team’s stack with native Docker support: containers, microservices, Kubernetes deployments, and more.

Trending repository
App recommended by GitHub

CircleCI

Now supporting GitHub Checks!

You can now see the status of your CircleCI workflows and related jobs all within the GitHub UI. Enable this feature in your CircleCI organization settings for new and existing accounts.

Build faster. Test more. Fail less.

Let CircleCI help your team focus on making a great product. Speed up your test and delivery cycle and improve productivity, without running your own infrastructure.

You can’t perform that action at this time.