From 866d39a68ef5f23d40d31ed590ab7ecf39c373cd Mon Sep 17 00:00:00 2001
From: jgen <jeffgenovy@gmail.com>
Date: Thu, 24 Apr 2014 01:15:03 -0400
Subject: [PATCH] The 'tags' box actually has a different ID.

---
 ext/tag_editcloud/script.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ext/tag_editcloud/script.js b/ext/tag_editcloud/script.js
index 377fa469..8fb87a1e 100644
--- a/ext/tag_editcloud/script.js
+++ b/ext/tag_editcloud/script.js
@@ -44,5 +44,5 @@ function tageditcloud_toggle_tag(ele,fullTag) {
     }
 
     taglist.value = tags.join(' ');
-    document.getElementById('tags').focus();
+    document.getElementById('tag_editor').focus();
 }