Changeset 19960

Timestamp:

09/26/08 18:53:12 (5 years ago)

Author:

drry

Message:

• @include を追加しました。
  
• ほか。
  

Files:

• lang/javascript/userscripts/pin_extension_for_greade.user.js (modified) (7 diffs)

lang/javascript/userscripts/pin_extension_for_greade.user.js

@@ -4 +4 @@
 // @description    open current or pinned for Google Reader
 // @include        http://www.google.com/reader/view/*
+// @include        https://www.google.com/reader/view/*
+// @include        http://www.google.co.jp/reader/view/*
 // ==/UserScript==
 /*
@@ -23 +25 @@
  *  2008/06/28  ver. 0.50   change style data.
  *                          add license description.
-*/
+ */
 
 (function() {
@@ -113 +115 @@
         // remove pin icon
         var pin = xpath('//img[@id="' + currentURL + '"]');
-        if(pin) pin.parentNode.removeChild(pin);
+        if (pin) pin.parentNode.removeChild(pin);
     }
 
@@ -146 +148 @@
             }
 
-            if(!flag)
+            if (!flag)
             {
                 var url = getCurrentEntryURL();
@@ -155 +157 @@
 
         // display number of pinned item.
-        if(numofPinned) {
+        if (numofPinned) {
             var inner = innerTemplate;
             dispDiv.innerHTML = inner.replace(/\$NUMBER/g, numofPinned)
@@ -161 +163 @@
             dispDiv.style.display = 'block';
         }
-        else
-        {
+        else {
             dispDiv.innerHTML = '';
             dispDiv.style.display = 'none';
@@ -172 +173 @@
         var dispDiv = xpath('//div[@id="pefg_display"]');
         // if not exist, insert div element to display number of pinned items.
-        if(!dispDiv) {
+        if (!dispDiv) {
             var elementDiv = document.createElement('div');
             elementDiv.id = 'pefg_display';