+ // disable autosearch by default
+ btn_autosearch.setSelected(!Platform.isJS()
+ && Cache.getDefault(getAutosearchPreference(), false));
+ btn_autosearch.addActionListener(new java.awt.event.ActionListener()
+ {
+ @Override
+ public void actionPerformed(ActionEvent e)
+ {
+ Cache.setProperty(getAutosearchPreference(),
+ Boolean.toString(btn_autosearch.isSelected()));
+ }
+ });
+ btn_back.setFont(VERDANA_12);