めも。
// キャッシュを破棄しサーバーからリロードする location.reload(true); // キャッシュからリロードする location.reload(fasle);
【Javascript】ページをサーバーリロードする。
【Eclipse】フォント変更方法。
めも
「windows」→「preferences」→「General」→「Appearance」→「Colors and Fonts」
ここで該当する箇所の設定を選択し、右側の「Edit…」をおせばOK。
ちなみにEclipseのデフォルトフォントは「Consolas」、10pt。