It seems to be a bug with w3m that doesn't recognize / support the <button> tag. See bug #15368 and http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=136810
We could work around the bug by not using <button> tags and switch back to <input type="button">, though much of our theming would have to be redone.
It seems to be a bug with w3m that doesn't recognize / support the <button> tag. See bug #15368 and http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 136810
We could work around the bug by not using <button> tags and switch back to <input type="button">, though much of our theming would have to be redone.