diff options
author | hut <hut@lepus.uberspace.de> | 2016-07-04 20:09:23 +0200 |
---|---|---|
committer | hut <hut@lepus.uberspace.de> | 2016-07-04 20:09:23 +0200 |
commit | f2c18a523e054308aca795b00030bfdf4de5985b (patch) | |
tree | 88980f58e2873f62c9d2a2eb748eabd62828a46e /ranger/gui | |
parent | b4e26110e2ef15404430a09b4e2ec9eb9959ce21 (diff) | |
download | ranger-f2c18a523e054308aca795b00030bfdf4de5985b.tar.gz |
container.settings: use constants for `setopt` signal priorities
Diffstat (limited to 'ranger/gui')
-rw-r--r-- | ranger/gui/widgets/view_miller.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ranger/gui/widgets/view_miller.py b/ranger/gui/widgets/view_miller.py index a302c9d5..90046456 100644 --- a/ranger/gui/widgets/view_miller.py +++ b/ranger/gui/widgets/view_miller.py @@ -5,6 +5,7 @@ import curses import _curses +from ranger.container import settings from ranger.ext.signals import Signal from .browsercolumn import BrowserColumn from .pager import Pager @@ -36,7 +37,7 @@ class ViewMiller(ViewBase): self.settings.signal_bind('setopt.column_ratios', self.request_clear) self.settings.signal_bind('setopt.column_ratios', self.rebuild, - priority=0.1) # make sure it occurs *after* setting is updated + priority=settings.SIGNAL_PRIORITY_AFTER_SYNC) self.old_draw_borders = self.settings.draw_borders |