Lorenz Hübschle-Schneider 1f0cb71e86 Make buttons unselectable ... This improves copying and pasting quite a lot		2014-10-20 11:09:50 +02:00
..
input.html	Make buttons unselectable	2014-10-20 11:09:50 +02:00
plugin.html	Make buttons unselectable	2014-10-20 11:09:50 +02:00