view bits.js @ 94:e43e2f72254a rdfquery

Add some resources for the dynamic plugin list
author Chris Cannam
date Sun, 22 Jun 2014 13:25:59 +0100
parents
children 16bcb88b430a
line wrap: on
line source

function togglePlugin(id) {
    var e = document.getElementById('plugs-' + id);
    var b = document.getElementById('plugs-showhide-' + id);
    if (e.style.display == 'block') {
	e.style.display = 'none';
	b.innerHTML = '▶ More';
    } else {
	e.style.display = 'block';
	b.innerHTML = '▼ Less';
    }
}