{
  "prefbar:info": {
    "formatversion": 3
  },
  "prefbar:menu:enabled": {
    "items": [
      "prefbar:button:fontsetsize_selector_ja"
    ]
  },
  "prefbar:button:fontsetsize_selector_ja": {
    "type": "extlist",
    "label": "フォントセットサイズ選択",
    "setfunction": "function select_fontsetsize_ja(value) {\n  if (value != \"nil\") {\n    goPrefBar.SetPref(\"font.size.variable.ja\", Math.round(16*Math.pow(1.2, value)));\n    goPrefBar.SetPref(\"font.size.fixed.ja\", Math.round(14*Math.pow(1.2, value)));\n  }\n  else {\n    goPrefBar.ClearPref(\"font.size.variable.ja\");\n    goPrefBar.ClearPref(\"font.size.fixed.ja\");\n  }\n}\nselect_fontsetsize_ja(value);",
    "getfunction": "function get_fontsetsize_selection_ja() {\n  var value = \"nil\";\n  for (var i=-12; i<=12; ++i)\n    if (goPrefBar.GetPref(\"font.size.variable.ja\") == Math.round(16*Math.pow(1.2, i)) &&\n\tgoPrefBar.GetPref(\"font.size.fixed.ja\") == Math.round(14*Math.pow(1.2, i))) {\n      value = i;\n      break;\n    }\n  return value;\n}\nvalue = get_fontsetsize_selection_ja();",
    "items": [
      [
        "nil",
        "nil"
      ],
      [
        "-12",
        "-12"
      ],
      [
        "-11",
        "-11"
      ],
      [
        "-10",
        "-10"
      ],
      [
        "-9",
        "-9"
      ],
      [
        "-8",
        "-8"
      ],
      [
        "-7",
        "-7"
      ],
      [
        "-6",
        "-6"
      ],
      [
        "-5",
        "-5"
      ],
      [
        "-4",
        "-4"
      ],
      [
        "-3",
        "-3"
      ],
      [
        "-2",
        "-2"
      ],
      [
        "-1",
        "-1"
      ],
      [
        "0",
        "0"
      ],
      [
        "1",
        "1"
      ],
      [
        "2",
        "2"
      ],
      [
        "3",
        "3"
      ],
      [
        "4",
        "4"
      ],
      [
        "5",
        "5"
      ],
      [
        "6",
        "6"
      ],
      [
        "7",
        "7"
      ],
      [
        "8",
        "8"
      ],
      [
        "9",
        "9"
      ],
      [
        "10",
        "10"
      ],
      [
        "11",
        "11"
      ],
      [
        "12",
        "12"
      ]
    ]
  }
}