ui improvements for getlantern/lantern#1314