diff options
| author | kali <kali@leap.se> | 2013-01-31 05:26:18 +0900 |
|---|---|---|
| committer | kali <kali@leap.se> | 2013-01-31 05:30:28 +0900 |
| commit | 555210630659018785fdb9d2318081a76b49fb4c (patch) | |
| tree | df7a51aaa32d9436a86881f9815d66a0f28773a5 /src/leap/gui/constants.py | |
| parent | 00276d12b44630315c19ff2cd0f906eac34d92cf (diff) | |
actually merge the release/v0.2.0 branch!
My life has been a lie until this moment...
I had done:
git merge -s ours release/v0.2.0
to avoid deleting the debian folder...
but that left the src untouched...
Now I just rm'd the src folder and did a
git checkout release/v0.2.0 src/
... and merge happy! :)
Diffstat (limited to 'src/leap/gui/constants.py')
| -rw-r--r-- | src/leap/gui/constants.py | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/leap/gui/constants.py b/src/leap/gui/constants.py new file mode 100644 index 00000000..277f3540 --- /dev/null +++ b/src/leap/gui/constants.py @@ -0,0 +1,13 @@ +import time + +APP_LOGO = ':/images/leap-color-small.png' + +# bare is the username portion of a JID +# full includes the "at" and some extra chars +# that can be allowed for fqdn + +BARE_USERNAME_REGEX = r"^[A-Za-z\d_]+$" +FULL_USERNAME_REGEX = r"^[A-Za-z\d_@.-]+$" + +GUI_PAUSE_FOR_USER_SECONDS = 1 +pause_for_user = lambda: time.sleep(GUI_PAUSE_FOR_USER_SECONDS) |