class SGM1:
class SGG():  
class SGMP:
 def __init__(self): 
 def first_map(self):
 def last_map(self): 
 def map_set_down_OK(self): 
 def map_set_up_OK(self): 
 def map_level_down_OK(self):  
 def map_level_up_OK(self): 
 def get_map_set(self, set_name, level_name): 
 def set_map_set_only(self, set_index):  
 def get_map_level(self, level_index):
 def get_map_set_names(self):  
 def get_map_set_info(self, set_index):  
 def get_map_level_info(self, map_set, level_index): 
 def expand_solution(self, my_data):
class SGImage():
 def __init__(self): 
 def set_skin(self, job): 
class SGHistory:
 def __init__(self,sg):
 def empty(self): 
 def add(self,sg):
 def delete(self):
 def undo_OK(self):  
 def redo_OK(self):  
 def redo(self):
 def get_current(self):
 def get_moves(self):
class SGGridcell():
 def __init__(self, me, cell_index):
 def set_access(self, cells, cell_index, direction): 
class SGCell(): 
 def __init__(self, sg, cell_index, row, column, grid_frame, images):  
def jump(event, self=self, cell_index = cell_index): 
def print_index(event, self=self, cell_index = cell_index):  
class SelectLevel(Toplevel): 
 def __init__(self, soko):
def handleList(event,self=self): 
class SGWidget(Frame):  
 def __init__(self, parent=None):# attach to top-level? 
Frame.__init__(self, parent)  # do superclass init 
 def init_font(self):
 def init_map(self): 
 def fileMenu(self): 
 def serviceFilemenu(self,menu_index):
 def anime(self): 
 def set_animation_speed(self, delay_index):  
 def set_font_size(self, font_size):
 def set_skin(self, skin):
 def set_map_set(self, set_index):  
 def set_map_level(self, level_index):
 def do_select_map(self): 
 def set_menu_states(self, current_state, choices):
 def quit(self):
 def save_map_position(self):  
 def save_map(self): 
 def read_map_set(self):  
 def read_map_position(self):  
 def read_solution(self): 
 def set_map_selection_mode(self, mode_index):
 def get_moveables(self): 
 def get_bays(self): 
 def load_results(self):  
 def get_my_moves(self, level_name=None):
 def save_result(self):
 def useful_map(self): 
 def next_map(self, up_or_down, set_or_level):
 def check_bays(self): 
 def makeMenuBar(self):
 def makeCounterbar(self):
 def updateCounter(self): 
 def makeToolbar(self):
  def toolbar_button_handler(event, self=self, button=toolbar_index):
  def toolbar_button_handler(event, self=self, button=toolbar_index):
  def toolbar_button_handler(event, self=self, button=toolbar_index):
 def check_toolbar(self): 
 def updateToolbar(self): 
 def service_toolbar(self, toolbar_index, mouse_button):
 def restart(self):  
 def animate(self):  
 def do_animation(self):  
 def do_moveit(self, direction): 
 def bind_keys(self):
def moveit(event, self=self):  
def moveit(event, self=self):  
def moveit(event, self=self):  
def moveit(event, self=self):  
def undo(event, self=self): 
 def do_print_index(self, target_cell_index): 
 def get_xy(self, cell_index): 
 def set_directions(self, cell_index, target_cell_index):
 def do_jump(self, target_cell_index):
 def slowit(self):
 def pause(self):
 def prune_path(self, path):
 def prune_path_r(self, path):
 def plot_path(self, path):
 def check_step(self, cell_index, new_cell_index):
 def try_step(self, sg, cell_index, target_cell, direction):
 def try_path(self, sg, start_cell, target_cell):
 def print_links(self, sg):
 def do_undo(self):
 def do_redo(self):
 def makeWarehouse(self):
 def move_man(self, direction):
 def draw_moveables(self, old, new, direction):
 def start_moveables(self):
 def do_write_map_position(self):
 def do_write_map(self):
 def do_read_map_position(self):
 def do_read_solution(self):
 def do_read_map_set(self):
 def parse_map_data(self, my_data, filename):
 def good_line(self, line):
 def good_map(self, map):
 def get_map_from_widget(self):
class EnterMap(Toplevel):
 def __init__(self, soko):
 def cursor_pos(event):
 def image_type(event, self=self):
 def get_data(self):
 def make_lines(self, content):
 def make_edit_lines(self, map):
 def make_edit_lines_i(self, map):
 def get_edit_lines(self, map):