eric6/WebBrowser/Tools/WebBrowserTools.py

changeset 8221
0572a215bd2f
parent 8143
2c730d5fd177
child 8260
2161475d9639
equal deleted inserted replaced
8220:006ee31b4835 8221:0572a215bd2f
61 @param string string to be checked 61 @param string string to be checked
62 @type str 62 @type str
63 @return flag indicating the presence of at least one whitespace character 63 @return flag indicating the presence of at least one whitespace character
64 @rtype bool 64 @rtype bool
65 """ 65 """
66 for ch in string: 66 return any(ch.isspace() for ch in string)
67 if ch.isspace():
68 return True
69
70 return False
71 67
72 68
73 def ensureUniqueFilename(name, appendFormat="({0})"): 69 def ensureUniqueFilename(name, appendFormat="({0})"):
74 """ 70 """
75 Module function to generate an unique file name based on a pattern. 71 Module function to generate an unique file name based on a pattern.

eric ide

mercurial