dissable term.js blinking, which maybe breaks copy and definitely wastes resources (since we use css anyways).
dissable term.js blinking, which maybe breaks copy and definitely wastes resources (since we use css anyways).

tscholl2/smc,DrXyzzy/smc,sagemathinc/smc,tscholl2/smc,DrXyzzy/smc,DrXyzzy/smc,tscholl2/smc,tscholl2/smc,DrXyzzy/smc,sagemathinc/smc,sagemathinc/smc,tscholl2/smc,sagemathinc/smc