misc interface tweaks, update translations

2025-12-16 00:05:56 +00:00 · 2007-08-20 12:51:09 +01:00
parent ae661a8cfc
commit 3076c7b8ed
8 changed files with 30 additions and 25 deletions
--- a/prefs.js
+++ b/prefs.js
@@ -26,6 +26,8 @@ function replace_pubkey_callback() {
 					link.href = new_link.firstChild.nodeValue;
 					link.innerHTML = new_link.firstChild.nodeValue;

+					new Effect.Highlight(link);
+
 					notify_info("Address changed.");
 				} else {
 					notify_error("Could not change address.");