Changeset 228:c19c9df23d21

Show
Ignore:
Timestamp:
2007-08-11 13:20:00 (1 year ago)
Author:
Stefan Schwarzer <sschwarzer@sschwarzer.net>
branch:
default
Message:
Removed method `set_option`.
Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • browser.py

    r227 r228  
    6060    # deal with builtin commands 
    6161    # 
    62     def set_option(self, query_mapping): 
    63         """ 
    64         Handle the option setting by evaluating the query mapping 
    65         `query_mapping` (as returned by `cgi.parse_qs`). 
    66         """ 
    67         # currently, there aren't server-wide settings  
    68         pass 
    69  
    7062    def handle_builtin(self, url): 
    7163        """ 
     
    10597            self.emit_data(template.HELP, title=u"Websourcebrowser help", 
    10698                           h1_class="Other") 
    107         elif builtin == "set": 
    108             self.set_option(query_mapping) 
    10999        elif builtin == "raw_data": 
    110100            url = query_mapping.get('url', ["/"])[0]