Webブラウザの入力フォームで好きなエディタを使う(2)

Webブラウザの入力フォームで好きなエディタを使う
http://mylog.ishinao.net/id/1177

昨日カスタマイズしていて以前に送ったパッチが実はバグっていたことに気がついた。

+ var tempfile = fs.GetSpecialFolder(2) + date.getTime() + ".txt";
ではなくて、
+ var tempfile = fs.GetSpecialFolder(2) + "\\" + date.getTime() + ".txt";
にしないといけなかった。
こうじゃないとTempフォルダをささないじゃん!!!

最新版のソースをみたらちゃんと直っていたので一安心。

以下はWikiとかはてなで書くときにあとでファイルがわかるように
titleを引っ張ってきて、YYYYMMDDHHMMSS 形式するパッチです。

 *** extedit.js.orig    Mon Mar 22 18:22:36 2004
 --- extedit.js Wed Mar 24 11:23:24 2004
 ***************
 *** 64,74 ****
     var date = new Date();
   
     if (tempdir == "") {tempdir = fs.GetSpecialFolder(2);}
 !   var tempfile = tempdir + "\\" + textarea.name;
 !   tempfile += "" + date.getYear() + date.getMonth() + date.getDate();
 !   tempfile += "" + date.getHours() + date.getMinutes() + date.getSeconds();
     tempfile += ".txt";
 -  
     var body = textarea.value;
     file = fs.CreateTextFile(tempfile, true);
     file.Write(body);
 --- 64,72 ----
     var date = new Date();
   
     if (tempdir == "") {tempdir = fs.GetSpecialFolder(2);}
 !   var tempfile = tempdir + "\\" + external.menuArguments.document.title ;
 !   tempfile += "" + getFullDate() ;
     tempfile += ".txt";
     var body = textarea.value;
     file = fs.CreateTextFile(tempfile, true);
     file.Write(body);
 ***************
 *** 109,112 ****
 --- 107,148 ----
     return elements;
   }
   
 + // 日付の YYYYMMDDHHMMSS を返す
 + function getFullDate() {
 +  d = new Date();
 +  format = d.getFullYear() ; 
 +  if (d.getMonth() + 1 < 10 ) {
 +      format += "0" + ( d.getMonth() + 1 ) ;
 +  }
 +  else {
 +      format += ( d.getMonth() + 1 ) ;
 +  }
 +  if (d.getDate() < 10 ) {
 +      format += "0" + d.getDate() ;
 +  }
 +  else {
 +      format += d.getDate() ;
 +  }
 + 
 +  if (d.getHours() < 10 ) {
 +      format += "0" + d.getHours() ;
 +  }
 +  else {
 +      format += d.getHours() ;
 +  }
 +  if (d.getMinutes() < 10 ) {
 +      format += "0" + d.getMinutes() ;
 +  }
 +  else {
 +      format += d.getMinutes() ;
 +  }
 +  if (d.getSeconds() < 10 ) {
 +      format += "0" + d.getSeconds() ;
 +  }
 +  else {
 +      format += d.getSeconds() ;
 +  }
 + 
 +  return format;
 + }