branch | stable |
changeset 3064 | 7a1a4d1f0958 |
parent 2922 | 66357d4d03b2 |
child 3094 | e11e018e8338 |
3061:6f87042766cb | 3064:7a1a4d1f0958 |
---|---|
20 |
20 |
21 if getmarkers is None: |
21 if getmarkers is None: |
22 getmarkers = obsolete.getmarkers |
22 getmarkers = obsolete.getmarkers |
23 if successorssets is None: |
23 if successorssets is None: |
24 successorssets = obsolete.successorssets |
24 successorssets = obsolete.successorssets |
25 |
|
26 def startpager(ui, cmd): |
|
27 """function to start a pager in case ui.pager() exists""" |
|
28 try: |
|
29 ui.pager(cmd) |
|
30 except AttributeError: |
|
31 pass |