source: josm/src/org/openstreetmap/josm/gui/preferences/FilePreferences.java@ 319

Last change on this file since 319 was 319, checked in by imi, 17 years ago
  • removed MinML2 dependency (use javax.xml)
  • fixed reorder action (thanks Robert)
  • added backup files before saving (thanks Dave)
  • added search for last modifying user (thanks Dave)
  • fixed import of plugin list and added author field (thanks Shaun)
File size: 980 bytes
Line 
1// License: GPL. Copyright 2007 by Immanuel Scholz and others
2package org.openstreetmap.josm.gui.preferences;
3
4import static org.openstreetmap.josm.tools.I18n.tr;
5
6import javax.swing.Box;
7import javax.swing.JCheckBox;
8
9import org.openstreetmap.josm.Main;
10import org.openstreetmap.josm.tools.GBC;
11
12/**
13 * Out of pure laziness, I add the file stuff to connection tab.
14 * Feel free to fix this.
15 *
16 * @author imi
17 */
18public class FilePreferences implements PreferenceSetting {
19
20 private JCheckBox keepBackup = new JCheckBox(tr("Keep backup files"));
21
22 public void addGui(PreferenceDialog gui) {
23 keepBackup.setSelected(Main.pref.getBoolean("save.keepbackup"));
24 keepBackup.setToolTipText(tr("When saving, keep backup files ending with a ~"));
25 gui.connection.add(keepBackup, GBC.eol().insets(20,0,0,0));
26 gui.connection.add(Box.createVerticalGlue(), GBC.eol().fill(GBC.VERTICAL));
27 }
28
29 public void ok() {
30 Main.pref.put("save.keepbackup", keepBackup.isSelected());
31 }
32}
Note: See TracBrowser for help on using the repository browser.