Piotr Sarnacki 0587991533 Fix scrolling to line numbers ... After some of the layout changes, the element that actually gets scrolled is current layout view (.application > div).		2012-10-20 15:43:17 +02:00
..
app.js	Fix scrolling to line numbers	2012-10-20 15:43:17 +02:00