hgext/pager.py
changeset 29971 bd55d98027ee
parent 29852 d5883fd055c6
child 30482 39d13b8c101d
equal deleted inserted replaced
29970:11604da46982 29971:bd55d98027ee
     8 # To load the extension, add it to your configuration file:
     8 # To load the extension, add it to your configuration file:
     9 #
     9 #
    10 #   [extension]
    10 #   [extension]
    11 #   pager =
    11 #   pager =
    12 #
    12 #
    13 # Run "hg help pager" to get info on configuration.
    13 # Run 'hg help pager' to get info on configuration.
    14 
    14 
    15 '''browse command output with an external pager
    15 '''browse command output with an external pager
    16 
    16 
    17 To set the pager that should be used, set the application variable::
    17 To set the pager that should be used, set the application variable::
    18 
    18