fltk
1.3.5-source
About: FLTK (Fast Light Tool Kit) is a cross-platform C++ GUI toolkit for UNIX/Linux (X11), Microsoft Windows, and MacOS X.
![]() ![]() |
Fl_Preferences provides methods to store user settings between application starts. More...
#include <Fl_Preferences.H>
Classes | |
struct | Entry |
class | Name |
class | Node |
class | RootNode |
Public Types | |
enum | Root { SYSTEM =0, USER } |
typedef void * | ID |
Public Member Functions | |
Fl_Preferences (Root root, const char *vendor, const char *application) | |
Fl_Preferences (const char *path, const char *vendor, const char *application) | |
Use this constructor to create or read a preferences file at an arbitrary position in the file system. More... | |
Fl_Preferences (Fl_Preferences &parent, const char *group) | |
Generate or read a new group of entries within another group. More... | |
Fl_Preferences (Fl_Preferences *parent, const char *group) | |
Create or access a group of preferences using a name. More... | |
Fl_Preferences (Fl_Preferences &parent, int groupIndex) | |
Open a child group using a given index. More... | |
Fl_Preferences (Fl_Preferences *parent, int groupIndex) | |
Fl_Preferences (const Fl_Preferences &) | |
Fl_Preferences (ID id) | |
virtual | ~Fl_Preferences () |
ID | id () |
const char * | name () |
const char * | path () |
int | groups () |
const char * | group (int num_group) |
char | groupExists (const char *key) |
char | deleteGroup (const char *group) |
char | deleteAllGroups () |
int | entries () |
const char * | entry (int index) |
char | entryExists (const char *key) |
char | deleteEntry (const char *entry) |
char | deleteAllEntries () |
char | clear () |
char | set (const char *entry, int value) |
char | set (const char *entry, float value) |
char | set (const char *entry, float value, int precision) |
char | set (const char *entry, double value) |
char | set (const char *entry, double value, int precision) |
char | set (const char *entry, const char *value) |
char | set (const char *entry, const void *value, int size) |
char | get (const char *entry, int &value, int defaultValue) |
char | get (const char *entry, float &value, float defaultValue) |
char | get (const char *entry, double &value, double defaultValue) |
char | get (const char *entry, char *&value, const char *defaultValue) |
char | get (const char *entry, char *value, const char *defaultValue, int maxSize) |
char | get (const char *entry, void *&value, const void *defaultValue, int defaultSize) |
char | get (const char *entry, void *value, const void *defaultValue, int defaultSize, int maxSize) |
int | size (const char *entry) |
char | getUserdataPath (char *path, int pathlen) |
Creates a path that is related to the preferences file and that is usable for additional application data. More... | |
void | flush () |
Static Public Member Functions | |
static const char * | newUUID () |
static char | remove (ID id_) |
Protected Attributes | |
Node * | node |
RootNode * | rootNode |
Private Member Functions | |
Fl_Preferences () | |
Fl_Preferences & | operator= (const Fl_Preferences &) |
Static Private Attributes | |
static char | nameBuffer [128] |
static char | uuidBuffer [40] |
static Fl_Preferences * | runtimePrefs = 0 |
Friends | |
class | Node |
class | RootNode |
Fl_Preferences provides methods to store user settings between application starts.
It is similar to the Registry on WIN32 and Preferences on MacOS, and provides a simple configuration mechanism for UNIX.
Fl_Preferences uses a hierarchy to store data. It bundles similar data into groups and manages entries into those groups as name/value pairs.
Preferences are stored in text files that can be edited manually. The file format is easy to read and relatively forgiving. Preferences files are the same on all platforms. User comments in preference files are preserved. Filenames are unique for each application by using a vendor/application naming scheme. The user must provide default values for all entries to ensure proper operation should preferences be corrupted or not yet exist.
Entries can be of any length. However, the size of each preferences file should be kept small for performance reasons. One application can have multiple preferences files. Extensive binary data however should be stored in separate files: see getUserdataPath().
Definition at line 60 of file Fl_Preferences.H.
typedef void* Fl_Preferences::ID |
Every Fl_Preferences-Group has a uniqe ID.
ID's can be retrieved from an Fl_Preferences-Group and can then be used to create more Fl_Preference references to the same data set, as long as the database remains open.
Definition at line 78 of file Fl_Preferences.H.
enum Fl_Preferences::Root |
Define the scope of the preferences.
Enumerator | |
---|---|
SYSTEM | Preferences are used system-wide. |
USER | Preferences apply only to the current user. |
Definition at line 66 of file Fl_Preferences.H.
The constructor creates a group that manages name/value pairs and child groups. Groups are ready for reading and writing at any time. The root argument is either Fl_Preferences::USER or Fl_Preferences::SYSTEM.
This constructor creates the base instance for all following entries and reads existing databases into memory. The vendor argument is a unique text string identifying the development team or vendor of an application. A domain name or an EMail address are great unique names, e.g. "researchATmatthiasm.com" or "fltk.org". The application argument can be the working title or final name of your application. Both vendor and application must be valid relative UNIX pathnames and may contain '/'s to create deeper file structures.
A set of Preferences marked "run-time" exists exactly one per application and only as long as the application runs. It can be used as a database for volatile information. FLTK uses it to register plugins at run-time.
[in] | root | can be USER or SYSTEM for user specific or system wide preferences |
[in] | vendor | unique text describing the company or author of this file |
[in] | application | unique text describing the application |
Definition at line 232 of file Fl_Preferences.cxx.
References Node, node, RootNode, rootNode, and Fl_Preferences::Node::setRoot().
Use this constructor to create or read a preferences file at an arbitrary position in the file system.
The file name is generated in the form path/application.prefs
. If application
is NULL
, path
must contain the full file name.
[in] | path | path to the directory that contains the preferences file |
[in] | vendor | unique text describing the company or author of this file |
[in] | application | unique text describing the application |
Definition at line 250 of file Fl_Preferences.cxx.
References Node, node, path(), RootNode, rootNode, and Fl_Preferences::Node::setRoot().
Fl_Preferences::Fl_Preferences | ( | Fl_Preferences & | parent, |
const char * | group | ||
) |
Generate or read a new group of entries within another group.
Use the group
argument to name the group that you would like to access. Group
can also contain a path to a group further down the hierarchy by separating group names with a forward slash '/'.
[in] | parent | reference object for the new group |
[in] | group | name of the group to access (may contain '/'s) |
Definition at line 266 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::addChild(), group(), node, and rootNode.
Fl_Preferences::Fl_Preferences | ( | Fl_Preferences * | parent, |
const char * | group | ||
) |
Create or access a group of preferences using a name.
[in] | parent | the parameter parent is a pointer to the parent group. Parent may be NULL . It then refers to an application internal database which exists only once, and remains in RAM only until the application quits. This database is used to manage plugins and other data indexes by strings. |
[in] | group | a group name that is used as a key into the database |
Definition at line 281 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::addChild(), Fl_Preferences(), group(), Node, node, RootNode, rootNode, runtimePrefs, and Fl_Preferences::Node::setRoot().
Fl_Preferences::Fl_Preferences | ( | Fl_Preferences & | parent, |
int | groupIndex | ||
) |
Open a child group using a given index.
Use the groupIndex
argument to find the group that you would like to access. If the given index is invalid (negative or too high), a new group is created with a UUID as a name.
The index needs to be fixed. It is currently backward. Index 0 points to the last member in the 'list' of preferences.
[in] | parent | reference object for the new group |
[in] | groupIndex | zero based index into child groups |
Definition at line 308 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::addChild(), Fl_Preferences::Node::childNode(), groups(), newUUID(), node, and rootNode.
Fl_Preferences::Fl_Preferences | ( | Fl_Preferences * | parent, |
int | groupIndex | ||
) |
Definition at line 320 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::addChild(), Fl_Preferences::Node::childNode(), groups(), newUUID(), node, and rootNode.
Fl_Preferences::Fl_Preferences | ( | const Fl_Preferences & | rhs | ) |
Create another reference to a Preferences group.
Definition at line 348 of file Fl_Preferences.cxx.
Fl_Preferences::Fl_Preferences | ( | Fl_Preferences::ID | id | ) |
Create a new dataset access point using a dataset ID.
ID's are a great way to remember shortcuts to database entries that are deeply nested in a preferences database, as long as the database root is not deleted. An ID can be retrieved from any Fl_Preferences dataset, and can then be used to create multiple new references to the same dataset.
ID's can be very helpful when put into the user_data()
field of widget callbacks.
Definition at line 340 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::findRoot(), node, and rootNode.
|
virtual |
The destructor removes allocated resources. When used on the base preferences group, the destructor flushes all changes to the preferences file and deletes all internal databases.
The destructor does not remove any data from the database. It merely deletes your reference to the database.
Definition at line 373 of file Fl_Preferences.cxx.
References node, Fl_Preferences::Node::parent(), and rootNode.
|
inlineprivate |
Definition at line 181 of file Fl_Preferences.H.
Referenced by Fl_Preferences().
char Fl_Preferences::clear | ( | ) |
Delete all groups and all entries.
Definition at line 493 of file Fl_Preferences.cxx.
References deleteAllEntries(), and deleteAllGroups().
char Fl_Preferences::deleteAllEntries | ( | ) |
Delete all entries.
Definition at line 485 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::deleteAllEntries(), and node.
Referenced by clear(), and Fl_Preferences::Node::~Node().
char Fl_Preferences::deleteAllGroups | ( | ) |
Delete all groups.
Definition at line 434 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::deleteAllChildren(), and node.
Referenced by clear().
char Fl_Preferences::deleteEntry | ( | const char * | key | ) |
Deletes a single name/value pair.
This function removes the entry key
from the database.
[in] | key | name of entry to delete |
Definition at line 478 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::deleteEntry(), key, and node.
Referenced by Fl_Comment_Type::open(), and writePrefs().
char Fl_Preferences::deleteGroup | ( | const char * | group | ) |
Deletes a group.
Removes a group and all keys and groups within that group from the database.
[in] | group | name of the group to delete |
Definition at line 425 of file Fl_Preferences.cxx.
References group(), node, Fl_Preferences::Node::remove(), and Fl_Preferences::Node::search().
int Fl_Preferences::entries | ( | ) |
Returns the number of entries (name/value pairs) in a group.
Definition at line 444 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::nEntry(), and node.
const char * Fl_Preferences::entry | ( | int | index | ) |
Returns the name of an entry. There is no guaranteed order of entry names. The index must be within the range given by entries().
[in] | index | number indexing the requested entry |
Definition at line 456 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::entry(), Fl_Preferences::Entry::name, and node.
char Fl_Preferences::entryExists | ( | const char * | key | ) |
Returns non-zero if an entry with this name exists.
[in] | key | name of entry that is searched for |
Definition at line 466 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::getEntry(), key, and node.
void Fl_Preferences::flush | ( | ) |
Writes all preferences to disk. This function works only with the base preferences group. This function is rarely used as deleting the base preferences flushes automatically.
Definition at line 896 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::dirty(), node, rootNode, and Fl_Preferences::RootNode::write().
Referenced by Fl_File_Chooser::favoritesButtonCB(), Fl_File_Chooser::favoritesCB(), Fl_File_Chooser::preview(), and update_history().
Reads an entry from the group. A default value must be supplied. The return value indicates if the value was available (non-zero) or the default was used (0). get() allocates memory of sufficient size to hold the value. The buffer must be free'd by the developer using 'free(value)'.
[in] | key | name of entry |
[out] | text | returned from preferences or default value if none was set |
[in] | defaultValue | default value to be used if no preference was set |
Definition at line 698 of file Fl_Preferences.cxx.
References decodeText(), Fl_Preferences::Node::get(), key, and node.
Reads an entry from the group. A default value must be supplied. The return value indicates if the value was available (non-zero) or the default was used (0). 'maxSize' is the maximum length of text that will be read. The text buffer must allow for one additional byte for a trailing zero.
[in] | key | name of entry |
[out] | text | returned from preferences or default value if none was set |
[in] | defaultValue | default value to be used if no preference was set |
[in] | maxSize | maximum length of value plus one byte for a trailing zero |
Definition at line 672 of file Fl_Preferences.cxx.
References decodeText(), free(), Fl_Preferences::Node::get(), key, node, and strlcpy.
char Fl_Preferences::get | ( | const char * | key, |
double & | value, | ||
double | defaultValue | ||
) |
Reads an entry from the group. A default value must be supplied. The return value indicates if the value was available (non-zero) or the default was used (0).
[in] | key | name of entry |
[out] | value | returned from preferences or default value if none was set |
[in] | defaultValue | default value to be used if no preference was set |
Definition at line 590 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::get(), key, and node.
char Fl_Preferences::get | ( | const char * | key, |
float & | value, | ||
float | defaultValue | ||
) |
Reads an entry from the group. A default value must be supplied. The return value indicates if the value was available (non-zero) or the default was used (0).
[in] | key | name of entry |
[out] | value | returned from preferences or default value if none was set |
[in] | defaultValue | default value to be used if no preference was set |
Definition at line 541 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::get(), key, and node.
char Fl_Preferences::get | ( | const char * | key, |
int & | value, | ||
int | defaultValue | ||
) |
Reads an entry from the group. A default value must be supplied. The return value indicates if the value was available (non-zero) or the default was used (0).
[in] | key | name of entry |
[out] | value | returned from preferences or default value if none was set |
[in] | defaultValue | default value to be used if no preference was set |
Definition at line 509 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::get(), key, and node.
Referenced by Fl_File_Chooser::favoritesCB(), Fl_File_Chooser::Fl_File_Chooser(), load_history(), make_main_window(), make_settings_window(), make_shell_window(), Fl_Comment_Type::open(), Fl::option(), Fl_Plugin_Manager::plugin(), position_window(), print_update_status(), readPrefs(), toggle_sourceview_cb(), Fl_File_Chooser::update_favorites(), and update_history().
char Fl_Preferences::get | ( | const char * | key, |
void *& | data, | ||
const void * | defaultValue, | ||
int | defaultSize | ||
) |
Reads an entry from the group. A default value must be supplied. The return value indicates if the value was available (non-zero) or the default was used (0). get() allocates memory of sufficient size to hold the value. The buffer must be free'd by the developer using 'free(value)'.
[in] | key | name of entry |
[out] | data | returned from preferences or default value if none was set |
[in] | defaultValue | default value to be used if no preference was set |
[in] | defaultSize | size of default value array |
Definition at line 805 of file Fl_Preferences.cxx.
References decodeHex(), Fl_Preferences::Node::get(), key, malloc(), and node.
char Fl_Preferences::get | ( | const char * | key, |
void * | data, | ||
const void * | defaultValue, | ||
int | defaultSize, | ||
int | maxSize | ||
) |
Reads an entry from the group. A default value must be supplied. The return value indicates if the value was available (non-zero) or the default was used (0). 'maxSize' is the maximum length of text that will be read.
[in] | key | name of entry |
[out] | data | value returned from preferences or default value if none was set |
[in] | defaultValue | default value to be used if no preference was set |
[in] | defaultSize | size of default value array |
[in] | maxSize | maximum length of value |
Definition at line 778 of file Fl_Preferences.cxx.
References decodeHex(), free(), Fl_Preferences::Node::get(), key, and node.
char Fl_Preferences::getUserdataPath | ( | char * | path, |
int | pathlen | ||
) |
Creates a path that is related to the preferences file and that is usable for additional application data.
This function creates a directory that is named after the preferences database without the .prefs extension and located in the same directory. It then fills the given buffer with the complete path name.
Example:
..creates the preferences database in (MS Windows):
..and returns the userdata path:
[out] | path | buffer for user data path |
[in] | pathlen | size of path buffer (should be at least FL_PATH_MAX ) |
Definition at line 885 of file Fl_Preferences.cxx.
References Fl_Preferences::RootNode::getPath(), path(), and rootNode.
Referenced by cutfname(), save_template_cb(), template_load(), undo_filename(), and update_sourceview_cb().
const char * Fl_Preferences::group | ( | int | num_group | ) |
Returns the name of the Nth (num_group
) group. There is no guaranteed order of group names. The index must be within the range given by groups().
[in] | num_group | number indexing the requested group |
Definition at line 399 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::child(), and node.
Referenced by deleteGroup(), and Fl_Preferences().
char Fl_Preferences::groupExists | ( | const char * | key | ) |
Returns non-zero if a group with this name exists. Group names are relative to the Preferences node and can contain a path. "." describes the current node, "./" describes the topmost node. By preceding a groupname with a "./", its path becomes relative to the topmost node.
[in] | key | name of group that is searched for |
Definition at line 412 of file Fl_Preferences.cxx.
References key, node, and Fl_Preferences::Node::search().
Referenced by Fl_Plugin_Manager::plugin().
int Fl_Preferences::groups | ( | ) |
Returns the number of groups that are contained within a group.
Definition at line 387 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::nChildren(), and node.
Referenced by Fl_Preferences(), and Fl_Plugin_Manager::plugins().
|
inline |
Return an ID that can later be reused to open more references to this dataset.
Definition at line 94 of file Fl_Preferences.H.
Referenced by Fl_Plugin_Manager::addPlugin().
|
inline |
Return the name of this entry.
Definition at line 102 of file Fl_Preferences.H.
Referenced by Fl_Preferences::Node::addChild(), Fl_Plugin_Manager::addPlugin(), Fl_Preferences::Node::deleteAllEntries(), Fl_Preferences::Node::deleteEntry(), Fl_Preferences::Node::get(), Fl_Preferences::Node::getEntry(), newUUID(), Fl_Plugin_Manager::plugin(), Fl_Preferences::Node::set(), and Fl_Preferences::Node::write().
|
static |
Returns a UUID as generated by the system.
A UUID is a "universally unique identifier" which is commonly used in configuration files to create identities. A UUID in ASCII looks like this: 937C4900-51AA-4C11-8DD3-7AB59944F03E
. It has always 36 bytes plus a trailing zero.
Definition at line 82 of file Fl_Preferences.cxx.
References b, name(), NULL, and uuidBuffer.
Referenced by Fl_Preferences(), and Fl_Shared_Image::get().
|
private |
Assign another reference to a Preference group.
Definition at line 356 of file Fl_Preferences.cxx.
|
inline |
Return the full path to this entry.
Definition at line 106 of file Fl_Preferences.H.
Referenced by Fl_Preferences::Node::addChild(), Fl_Preferences::Node::find(), Fl_Preferences(), Fl_Preferences::RootNode::getPath(), getUserdataPath(), Fl_Tree::load(), Fl_Preferences::Node::Node(), Fl_Preferences::RootNode::RootNode(), and Fl_Preferences::Node::search().
|
inlinestatic |
Remove the group with this ID from a database.
Definition at line 98 of file Fl_Preferences.H.
Referenced by Fl_Plugin_Manager::removePlugin(), and Fl_Plugin::~Fl_Plugin().
Sets an entry (name/value pair). The return value indicates if there was a problem storing the data in memory. However it does not reflect if the value was actually stored in the preferences file.
[in] | key | name of entry |
[in] | text | set this entry to value |
Definition at line 722 of file Fl_Preferences.cxx.
References buffer, free(), key, malloc(), node, and Fl_Preferences::Node::set().
Sets an entry (name/value pair). The return value indicates if there was a problem storing the data in memory. However it does not reflect if the value was actually stored in the preferences file.
[in] | key | name of entry |
[in] | data | set this entry to value |
[in] | dsize | size of data array |
Definition at line 832 of file Fl_Preferences.cxx.
References buffer, free(), key, malloc(), node, and Fl_Preferences::Node::set().
char Fl_Preferences::set | ( | const char * | key, |
double | value | ||
) |
Sets an entry (name/value pair). The return value indicates if there was a problem storing the data in memory. However it does not reflect if the value was actually stored in the preferences file.
[in] | key | name of entry |
[in] | value | set this entry to value |
Definition at line 606 of file Fl_Preferences.cxx.
References key, nameBuffer, node, and Fl_Preferences::Node::set().
char Fl_Preferences::set | ( | const char * | key, |
double | value, | ||
int | precision | ||
) |
Sets an entry (name/value pair). The return value indicates if there was a problem storing the data in memory. However it does not reflect if the value was actually stored in the preferences file.
[in] | key | name of entry |
[in] | value | set this entry to value |
[in] | precision | number of decimal digits to represent value |
Definition at line 623 of file Fl_Preferences.cxx.
References key, nameBuffer, node, and Fl_Preferences::Node::set().
char Fl_Preferences::set | ( | const char * | key, |
float | value | ||
) |
Sets an entry (name/value pair). The return value indicates if there was a problem storing the data in memory. However it does not reflect if the value was actually stored in the preferences file.
[in] | key | name of entry |
[in] | value | set this entry to value |
Definition at line 557 of file Fl_Preferences.cxx.
References key, nameBuffer, node, and Fl_Preferences::Node::set().
char Fl_Preferences::set | ( | const char * | key, |
float | value, | ||
int | precision | ||
) |
Sets an entry (name/value pair). The return value indicates if there was a problem storing the data in memory. However it does not reflect if the value was actually stored in the preferences file.
[in] | key | name of entry |
[in] | value | set this entry to value |
[in] | precision | number of decimal digits to represent value |
Definition at line 574 of file Fl_Preferences.cxx.
References key, nameBuffer, node, and Fl_Preferences::Node::set().
char Fl_Preferences::set | ( | const char * | key, |
int | value | ||
) |
Sets an entry (name/value pair). The return value indicates if there was a problem storing the data in memory. However it does not reflect if the value was actually stored in the preferences file.
[in] | key | name of entry |
[in] | value | set this entry to value |
Definition at line 525 of file Fl_Preferences.cxx.
References key, nameBuffer, node, and Fl_Preferences::Node::set().
Referenced by Fl_Plugin_Manager::addPlugin(), cb_completion_button(), cb_editor_command_input(), cb_openlast_button(), cb_prevpos_button(), cb_recent_spinner(), cb_Save(), cb_shell_command_input(), cb_shell_savefl_button(), cb_shell_writecode_button(), cb_shell_writemsgs_button(), cb_show_comments_button(), cb_tooltips_button(), cb_use_external_editor_button(), default_widget_size_cb(), exit_cb(), Fl_File_Chooser::favoritesButtonCB(), Fl_File_Chooser::favoritesCB(), grid_cb(), guides_cb(), load_comments_preset(), Fl_Comment_Type::open(), Fl_File_Chooser::preview(), save_position(), scheme_cb(), Fl_Preferences::Node::set(), update_history(), and writePrefs().
int Fl_Preferences::size | ( | const char * | key | ) |
Returns the size of the value part of an entry.
[in] | key | name of entry |
Definition at line 853 of file Fl_Preferences.cxx.
References Fl_Preferences::Node::get(), key, and node.
|
friend |
Definition at line 243 of file Fl_Preferences.H.
Referenced by Fl_Preferences::Node::find(), and Fl_Preferences().
|
friend |
Definition at line 258 of file Fl_Preferences.H.
Referenced by Fl_Preferences().
|
staticprivate |
Definition at line 184 of file Fl_Preferences.H.
Referenced by Fl_Preferences::Node::addChild(), Fl_Preferences::Node::find(), set(), Fl_Preferences::Node::set(), and Fl_Preferences::Node::setParent().
|
protected |
Definition at line 261 of file Fl_Preferences.H.
Referenced by deleteAllEntries(), deleteAllGroups(), deleteEntry(), deleteGroup(), entries(), entry(), entryExists(), Fl_Preferences(), flush(), get(), group(), groupExists(), groups(), operator=(), set(), size(), and ~Fl_Preferences().
|
protected |
Definition at line 262 of file Fl_Preferences.H.
Referenced by Fl_Preferences(), flush(), getUserdataPath(), operator=(), and ~Fl_Preferences().
|
staticprivate |
Definition at line 186 of file Fl_Preferences.H.
Referenced by Fl_Preferences().
|
staticprivate |
Definition at line 185 of file Fl_Preferences.H.
Referenced by newUUID().