diff options
author | hut <hut@lavabit.com> | 2010-01-03 15:05:31 +0100 |
---|---|---|
committer | hut <hut@lavabit.com> | 2010-01-03 15:05:31 +0100 |
commit | b91d7c348e1077e02741fa40f90904c376ce807c (patch) | |
tree | 83178deaa71f383eab120a06e27ad00e15467e64 /ranger | |
parent | c25ba934d0e5e6118963e3bf75e31f350d652ea9 (diff) | |
download | ranger-b91d7c348e1077e02741fa40f90904c376ce807c.tar.gz |
actions: use inspect.cleandoc instead of a custom function
Diffstat (limited to 'ranger')
-rw-r--r-- | ranger/actions.py | 3 | ||||
-rw-r--r-- | ranger/ext/trim.py | 31 |
2 files changed, 2 insertions, 32 deletions
diff --git a/ranger/actions.py b/ranger/actions.py index 25c8262c..bc6da7b8 100644 --- a/ranger/actions.py +++ b/ranger/actions.py @@ -1,5 +1,6 @@ import os import shutil +from inspect import cleandoc from ranger.shared import EnvironmentAware, SettingsAware from ranger import fsobject @@ -183,7 +184,7 @@ class Actions(EnvironmentAware, SettingsAware): return pager = self.ui.open_pager() - lines = trimmed_lines_of_docstring(command.__doc__) + lines = cleandoc(command.__doc__).split('\n') pager.set_source(lines) def display_log(self): diff --git a/ranger/ext/trim.py b/ranger/ext/trim.py deleted file mode 100644 index d469435d..00000000 --- a/ranger/ext/trim.py +++ /dev/null @@ -1,31 +0,0 @@ -import sys - -def trim_docstring(docstring): - if not docstring: - return '' - return '\n'.join(trimmed_lines_of_docstring(docstring)) - -def trimmed_lines_of_docstring(docstring): - if not docstring: - return [] - # Convert tabs to spaces (following the normal Python rules) - # and split into a list of lines: - lines = docstring.expandtabs().splitlines() - # Determine minimum indentation (first line doesn't count): - indent = sys.maxint - for line in lines[1:]: - stripped = line.lstrip() - if stripped: - indent = min(indent, len(line) - len(stripped)) - # Remove indentation (first line is special): - trimmed = [lines[0].strip()] - if indent < sys.maxint: - for line in lines[1:]: - trimmed.append(line[indent:].rstrip()) - # Strip off trailing and leading blank lines: - while trimmed and not trimmed[-1]: - trimmed.pop() - while trimmed and not trimmed[0]: - trimmed.pop(0) - # Return a single string: - return trimmed |