comparison termemu-keys.js @ 133:99fbc7c55b81

Options-related UI improvements. Hide as-yet-unnecessary elements on the options page, and link the home and options pages from each other.
author John "Elwin" Edwards <elwin@sdf.org>
date Wed, 12 Sep 2012 16:03:09 -0700
parents 6cfaf6d202be
children
comparison
equal deleted inserted replaced
132:823e878e5840 133:99fbc7c55b81