Patch from Bo Simonsen.

Improve switching between 12H and 24H in Clock Tool
 configuration

Having:

    session.screen0.strftimeFormat:	%d-%m-%y %02k:%M

The switch[1] between 12H and 24H did not work due to the digits (02).

1 files changed, 1 insertions, 1 deletions

diff --git a/src/FbTk/StringUtil.hh b/src/FbTk/StringUtil.hh
index bfa3a5c..5e0d0d4 100644
--- a/src/FbTk/StringUtil.hh
+++ b/src/FbTk/StringUtil.hh
@@ -69,7 +69,7 @@ std::string findExtension(const std::string &filename);
 /// @return std::string::npos if nothing found
 std::string::size_type findCharFromAlphabetAfterTrigger(const std::string& in,
     char trigger,
-    const char alphabet[], size_t len_alphabet, size_t* found);
+    const char alphabet[], size_t len_alphabet, size_t* found, const char ignore_after_trigger[] = "", size_t len_ignore_after_trigger = 0);
 
 /// @return copy of original with find_string replaced with "replace"
 std::string replaceString(const std::string &original,