googlearchive / chromedeveditor

Chrome Dev Editor is a developer tool for building apps on the Chrome platform - Chrome Apps and Web Apps, in JavaScript or Dart. (NO LONGER IN ACTIVE DEVELOPMENT)
BSD 3-Clause "New" or "Revised" License
2.92k stars 410 forks source link

"Hamburger menu" in the top left is transparent when clicked and do not take mouse input #4093

Open ghost opened 6 years ago

ghost commented 6 years ago

I'm on chromium OS btw (cloudready)