0mg

['凶大中小末'[n=new Date%6]]+(n?'吉':'')
['凶大中小末'[n=new Date%6]]+['吉'[n%n]]
['凶大中小末'[n=new Date%6]]+['吉'[+!n]]
['大中小末'[n=new Date%6]]+'凶吉'[+(n<5)]
'凶大中小末'.charAt(n=new Date%6)+(n?'吉':'')
['大吉','中吉','小吉','末吉','吉','凶'][new Date%6]

0mg

キノコ
キノワー
キノー
キラコ
キラワー
キラー
キタコ
キタワー
キター
フノコ

0mg

// ==UserScript==
// @name Google Map Taxi Fare
// @include http://www.google.co.jp/maps*
// ==/UserScript==

(function() {
  function showFare() {
    var routes = document.getElementById("dir_altroutes_body");
    if (routes) {
      Array.prototype.forEach.call(

0mg

// ==UserScript==
// @name activeElement memory
// @include *
// ==/UserScript==

addEventListener("focus", function(event) {
  if (event.target instanceof HTMLTextAreaElement ||
      event.target instanceof HTMLInputElement) {
    document.activeElementLatest = event.target;
  }

0mg

@echo off
setlocal

REM バックアップ元フォルダ
set profile="(^o^)\Opera\profile"

REM バックアップ先フォルダ
set bkdir="%date:~0,4%-%date:~5,2%-%date:~8,2% Backup Opera settings (%time:~0,2%%time:~3,2%%time:~6,2%%time:~9,2%)"

md %bkdir%

0mg

// ==UserScript==
// @name UserCSS
// @include *
// ==/UserScript==

(function() {

  function userCSS(event) {
    [
      {

0mg

function f(){return f}

この関数 f を呼ぶと、関数 f を返す。           // f() is f
返ってきた関数 f を呼ぶと、やはり関数 f を返す。 // f()() is f
f()()()()()()() も f である。
f()()()()()()()()()()()() も f である。

---

function O(x) {

0mg

古いバージョンの Flash Player を使う

このメモは Windows 版の Opera 9.64 および Flash Player 10.0 と 10.3 向けに書かれています。別の環境でも通用するかどうかは不明です。

Firefox と Chrome では Flash Player 10.3 を使い、Opera では Flash Player 10.0 を使う、というふうに、別バージョンの Flash Player を共存させ、使い分けたい時がある。そのためにはどうすればいいか。

まず、基礎知識。

プラグインの読み込まれ方

Opera はプラグインの dll を複数箇所から読み込んでいる。

0mg

removeChild vs innerHTML

ノードを除去するのに removeChild() と innerHTML = "" とではどちらが速い？

方法

rmnode.html

結果

Opera 11.6118ms6ms3.00 : 1

	removeChild	innerHTML	ratio
Chrome 16.0	6ms	3ms	2.00 : 1
Safari 5.1	8ms	4ms	2.00 : 1

0mg

var dom = {
  ce: function ce(s) { return document.createElement(s); },
  ct: function ct(s) { return document.createTextNode(s); },
  cf: function cf() { return document.createDocumentFragment(); },
  id: function id(s) { return document.getElementById(s); },
  q: function q(s) { return document.querySelector(s); },
  qs: function qs(s) { return document.querySelectorAll(s); },
  rm: function rm(e) { return e.parentNode.removeChild(e); }
};