105 lines
2.7 KiB
Java
105 lines
2.7 KiB
Java
/*
|
|
* This file is part of the LibreOffice project.
|
|
*
|
|
* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
*
|
|
* This file incorporates work covered by the following license notice:
|
|
*
|
|
* Licensed to the Apache Software Foundation (ASF) under one or more
|
|
* contributor license agreements. See the NOTICE file distributed
|
|
* with this work for additional information regarding copyright
|
|
* ownership. The ASF licenses this file to you under the Apache
|
|
* License, Version 2.0 (the "License"); you may not use this file
|
|
* except in compliance with the License. You may obtain a copy of
|
|
* the License at http://www.apache.org/licenses/LICENSE-2.0 .
|
|
*/
|
|
|
|
import java.io.File;
|
|
import java.io.FileInputStream;
|
|
import java.io.FileOutputStream;
|
|
import java.util.Properties;
|
|
|
|
/** Load from and save options into a file.
|
|
*/
|
|
class Options
|
|
extends Properties
|
|
{
|
|
static public Options Instance ()
|
|
{
|
|
if (saOptions == null)
|
|
saOptions = new Options ();
|
|
return saOptions;
|
|
}
|
|
|
|
static public void SetString (String sName, String sValue)
|
|
{
|
|
Instance().setProperty (sName, sValue);
|
|
}
|
|
|
|
static public String GetString (String sName)
|
|
{
|
|
return Instance().getProperty (sName);
|
|
}
|
|
|
|
static public void SetBoolean (String sName, boolean bValue)
|
|
{
|
|
Instance().setProperty (sName, Boolean.toString(bValue));
|
|
}
|
|
|
|
static public boolean GetBoolean (String sName)
|
|
{
|
|
return Boolean.getBoolean(Instance().getProperty (sName));
|
|
}
|
|
|
|
static public void SetInteger (String sName, int nValue)
|
|
{
|
|
Instance().setProperty (sName, Integer.toString(nValue));
|
|
}
|
|
|
|
static public int GetInteger (String sName, int nDefault)
|
|
{
|
|
String sValue = Instance().getProperty (sName);
|
|
if (sValue == null)
|
|
return nDefault;
|
|
else
|
|
return Integer.parseInt (sValue);
|
|
}
|
|
|
|
public void Load (String sBaseName)
|
|
{
|
|
try
|
|
{
|
|
load (new FileInputStream (ProvideFile(sBaseName)));
|
|
}
|
|
catch (java.io.IOException e)
|
|
{
|
|
// Ignore a non-existing options file.
|
|
}
|
|
}
|
|
|
|
public void Save (String sBaseName)
|
|
{
|
|
try
|
|
{
|
|
store (new FileOutputStream (ProvideFile(sBaseName)), null);
|
|
}
|
|
catch (java.io.IOException e)
|
|
{
|
|
}
|
|
}
|
|
|
|
private Options ()
|
|
{
|
|
}
|
|
|
|
private File ProvideFile (String sBaseName)
|
|
{
|
|
return new File (
|
|
System.getProperty ("user.home"),
|
|
sBaseName);
|
|
}
|
|
|
|
static private Options saOptions = null;
|
|
}
|