summaryrefslogtreecommitdiffstatshomepage
path: root/src/lib/util/options.h
diff options
context:
space:
mode:
author Wilbert Pol <wilbert@jdg.info>2013-02-21 19:56:46 +0000
committer Wilbert Pol <wilbert@jdg.info>2013-02-21 19:56:46 +0000
commit742f7e2ff573ef7f76af3463168d84e3b86eeaae (patch)
tree357e73011a65a2e96a9c2099725dbb19b35b9fba /src/lib/util/options.h
parent0bd44ef97909589fa782db93e16c894790ac4519 (diff)
Don't save out internally determined settings to .ini files. (nw)
Diffstat (limited to 'src/lib/util/options.h')
-rw-r--r--src/lib/util/options.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lib/util/options.h b/src/lib/util/options.h
index 8d8ea78a303..28e478afb73 100644
--- a/src/lib/util/options.h
+++ b/src/lib/util/options.h
@@ -70,6 +70,7 @@ const int OPTION_PRIORITY_NORMAL = 100; // normal priority
const int OPTION_PRIORITY_HIGH = 150; // high priority
const int OPTION_PRIORITY_MAXIMUM = 255; // maximum priority
+const UINT32 OPTION_FLAG_INTERNAL = 0x40000000;
//**************************************************************************
@@ -114,6 +115,7 @@ public:
UINT32 flags() const { return m_flags; }
bool is_header() const { return type() == OPTION_HEADER; }
bool is_command() const { return type() == OPTION_COMMAND; }
+ bool is_internal() const { return m_flags & OPTION_FLAG_INTERNAL; }
bool has_range() const { return (m_minimum && m_maximum); }
int priority() const { return m_priority; }