MinRK 5cce816d2a edit text cells on double-click instead of single-click ... Single-click to edit gets in the way of using interactive elements (e.g. non-flash videos), and select/copy of the rendered HTML. Switching to double-click makes the edit action more intentional.		2012-01-05 19:12:44 -08:00
..
frontend/html/notebook	edit text cells on double-click instead of single-click	2012-01-05 19:12:44 -08:00
testing	update iptest exclusions with recent changes	2011-12-12 11:47:51 -08:00
utils/tests	update copyright to 2011/20xx-2011	2011-11-23 18:02:27 -08:00