Also hide ^ marker when on a non-tip head
| author |
Sietse Brouwer <sbbrouwer@gmail.com> |
| date |
Tue, 22 Mar 2016 10:49:32 +0100 |
| parents |
5dc059aeb5f4
|
| children |
ca659a3b3b97
|
| branches/tags |
(none) |
| files |
prompt.py |
Changes
--- a/prompt.py Fri Jul 31 14:32:34 2015 -0500
+++ b/prompt.py Tue Mar 22 10:49:32 2016 +0100
@@ -362,7 +362,7 @@
tip = head
break
- return _with_groups(m.groups(), '^') if current_rev != repo[tip] else ''
+ return _with_groups(m.groups(), '^') if current_rev.children() else ''
if opts.get("angle_brackets"):