The Wayback Machine - https://web.archive.org/web/20200907000723/https://github.com/explore
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...

Unreal Engine logo
Popular topic
Unreal Engine is used to create awesome games, and experiences for PC, mobile, console, VR, and AR.
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

Google Cloud Build screenshot
App recommended by GitHub

Google Cloud Build

Google Cloud Build

Google Cloud Build lets you create fast, consistent, reliable builds across all languages. Automatically build containers or non-container artifacts on commits to your GitHub repository. Get complete control over defining custom workflows for building, testing, and deploying across multiple environments such as VMs, serverless, Kubernetes, or Firebase.

Trending repository
Trending repository
ndmitchell
ndmitchell commented Sep 6, 2020

We've had a bunch of variables which ended up storing thunks - see #772 for merely the latest example. We should:

  • Introduce safe wrappers around modifyVar_ and modifyMVar_ named modifyVar_' and modifyMVar_', which do an evaluate before storing.
  • Switch all our code to using these wrappers.
  • Use HLint to ban the lazy variants.
App recommended by GitHub

Octobox

Untangle your GitHub notifications

Octobox helps you manage your notifications in the same way Gmail helps you manage your email. Built for developer workflows centred around GitHub issues, pull requests, comments and commits, Octobox makes sure you never miss another mention or misplace another issue.

You can’t perform that action at this time.