Changeset 1802:0d0bfa938334

Show
Ignore:
Timestamp:
05/04/09 13:44:23 (16 months ago)
Author:
Ronny Pfannschmidt <Ronny.Pfannschmidt@…>
Branch:
default
Message:

get rid of uuid based vim server names

Location:
pida/editors/vim
Files:
2 modified

Legend:

Unmodified
Added
Removed

  • pida/editors/vim/embed.py

    r1409 r1802  
    11# -*- coding: utf-8 -*-  
     2 
    23# vim:set shiftwidth=4 tabstop=4 expandtab textwidth=79: 
    34""" 
    … …  
    1617class VimEmbedWidget(gtk.EventBox): 
    1718 
    18     def __init__(self, command, script_path, uid, args=[]): 
     19    def __init__(self, command, script_path, args=[]): 
    1920        gtk.EventBox.__init__(self) 
    20         self.server_name = uid 
     21        # XXX: leftover from vim com 
     22        # self.server_name = uid 
    2123        self._command = command 
    2224        self._init_script = script_path 
    … …  
    4850                popen = subprocess.Popen( 
    4951                    [self._command, 
    50                     '--servername', self.server_name, 
     52                    # XXX: leftover from vim com 
     53                    #'--servername', self.server_name, 
    5154                    '--cmd', 'let PIDA_EMBEDDED=1', 
    5255                    '--cmd', 'so %s' % self._init_script, 

  • pida/editors/vim/vim.py

    r1679 r1802  
    77    :copyright: 2007-2008 the Pida Project 
    88""" 
    9 import os, uuid 
     9import os 
    1010 
    1111# PIDA Imports 
    … …  
    2121from pida.core.editors import EditorService, _ 
    2222 
    23 UID = 'PIDA_EMBEDDED_%s' % uuid.uuid4().get_hex() 
    24  
    2523 
    2624def _do_nothing(*args): 
    … …  
    3331 
    3432    def create_ui(self): 
    35         self._vim = VimEmbedWidget('gvim', self.svc.script_path, UID) 
     33        self._vim = VimEmbedWidget('gvim', self.svc.script_path) 
    3634        self.add_main_widget(self._vim) 
    3735