José Valim 3e0b3fffac Increase the timeout for topbar (#1125) ... The topbar still shows way too frequently even when the navigation feels snap.		2022-04-16 11:05:14 +02:00
..
hooks	Fix Enter to enter insert mode	2022-04-14 21:37:58 +02:00
lib	Introduce code zen (#1115)	2022-04-14 21:17:19 +02:00
app.js
dom.js
events.js	Increase the timeout for topbar (#1125)	2022-04-16 11:05:14 +02:00