Salome HOME
projects
/
modules
/
shaper.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Issue #1351: partition is not done
[modules/shaper.git]
/
src
/
Config
/
Config_PropManager.h
diff --git
a/src/Config/Config_PropManager.h
b/src/Config/Config_PropManager.h
index c6bba0810a4311ff0bad110bbe7df34a72b18231..9b2ced3eafdf41b28ec17b152c9c459eb04d39f8 100644
(file)
--- a/
src/Config/Config_PropManager.h
+++ b/
src/Config/Config_PropManager.h
@@
-60,6
+60,10
@@
class Config_PropManager
CONFIG_EXPORT static double real(const std::string& theSection,
const std::string& theName,
const std::string& theDefault);
CONFIG_EXPORT static double real(const std::string& theSection,
const std::string& theName,
const std::string& theDefault);
+ //! Returns boolean by given section and name
+ CONFIG_EXPORT static bool boolean(const std::string& theSection,
+ const std::string& theName,
+ const std::string& theDefault);
private:
CONFIG_EXPORT static Config_Properties myProps; ///< List of all stored properties
private:
CONFIG_EXPORT static Config_Properties myProps; ///< List of all stored properties