Changeset 884:a18e6400a3bc

Show
Ignore:
Timestamp:
05/18/07 14:16:02 (20 months ago)
Author:
txprog
Message:

move man to pida-plugins

Location:
pida-plugins/man
Files:
9 moved

Legend:

Unmodified
Added
Removed
  • pida-plugins/man/man.py

    r845 r884  
    188188        self.task.start(cmd, shell=True) 
    189189 
     190    def stop(self): 
     191        if self.task: 
     192            self.task.stop() 
     193        if self.get_action('show_man').get_active(): 
     194            self.hide_man() 
     195 
    190196 
    191197# Required Service attribute for service loading 
  • pida-plugins/man/man.py

    r845 r884  
    188188        self.task.start(cmd, shell=True) 
    189189 
     190    def stop(self): 
     191        if self.task: 
     192            self.task.stop() 
     193        if self.get_action('show_man').get_active(): 
     194            self.hide_man() 
     195 
    190196 
    191197# Required Service attribute for service loading 
  • pida-plugins/man/service.pida

    r504 r884  
     1[plugin] 
     2plugin = man 
     3name = Man 
     4author = Mathieu Virbel <tito@bankiz.org> 
     5version = 0.2 
     6require_pida = 0.5 
     7depends = "os,gtk,commands,re,cgi" 
     8category = documentation 
     9description = Search and browse man page 
  • pida-plugins/man/service.pida

    r504 r884  
     1[plugin] 
     2plugin = man 
     3name = Man 
     4author = Mathieu Virbel <tito@bankiz.org> 
     5version = 0.2 
     6require_pida = 0.5 
     7depends = "os,gtk,commands,re,cgi" 
     8category = documentation 
     9description = Search and browse man page