[kupfer: 9/41] vim: Make vimcom's poller customizable
- From: Ulrik Sverdrup <usverdrup src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [kupfer: 9/41] vim: Make vimcom's poller customizable
- Date: Tue, 26 Apr 2011 17:13:34 +0000 (UTC)
commit 7f9f6f31e3631f7dec00b4a5d4bb7744a6bb40dc
Author: Ulrik Sverdrup <ulrik sverdrup gmail com>
Date: Tue Apr 26 18:44:00 2011 +0200
vim: Make vimcom's poller customizable
kupfer/plugin/vim/vimcom.py | 12 +++++++-----
1 files changed, 7 insertions(+), 5 deletions(-)
---
diff --git a/kupfer/plugin/vim/vimcom.py b/kupfer/plugin/vim/vimcom.py
index 97338f9..e388548 100644
--- a/kupfer/plugin/vim/vimcom.py
+++ b/kupfer/plugin/vim/vimcom.py
@@ -118,7 +118,7 @@ class poller(object):
whether a window is alive.
"""
- def __init__(self):
+ def __init__(self, name_token="PIDA_HIDDEN", extra_args=[]):
"""
Constructor.
@@ -130,9 +130,10 @@ class poller(object):
"""
# Prefacing with '__' means it will be ignored in the internal server
# list.
- self.name = '__%s_PIDA_HIDDEN' % time.time()
+ self.name = '__%s_%s' % (time.time(), name_token)
# Checked to evaluate False on starting.
self.pid = None
+ self.extra_args = extra_args
def start(self):
"""
@@ -154,9 +155,10 @@ class poller(object):
pid, fd = pty.fork()
if pid == 0:
# Child, execute Vim with the correct servername argument
- os.execvp(command, ['gvim', '-f', '--servername', self.name,
- '--socketid', '%s' % xid])
- #'-v'])
+ argv = ['gvim', '-f', '--servername', self.name,
+ '--socketid', '%s' % xid]
+ argv.extend(self.extra_args)
+ os.execvp(command, argv)
# os.system('%s -v --servername %s' % (command, self.name))
else:
# Parent, store the pid, and file descriptor for later.
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]