def _init_menubar(self):
self._result_size = IntVar(self.top)
menubar = Menu(self.top)
filemenu = Menu(menubar, tearoff=0, borderwidth=0)
filemenu.add_command(label='Exit', underline=1,
command=self.destroy, accelerator='Ctrl-q')
menubar.add_cascade(label='File', underline=0, menu=filemenu)
editmenu = Menu(menubar, tearoff=0)
rescntmenu = Menu(editmenu, tearoff=0)
rescntmenu.add_radiobutton(label='20', variable=self._result_size,
underline=0, value=20, command=self.set_result_size)
rescntmenu.add_radiobutton(label='50', variable=self._result_size,
underline=0, value=50, command=self.set_result_size)
rescntmenu.add_radiobutton(label='100', variable=self._result_size,
underline=0, value=100, command=self.set_result_size)
rescntmenu.invoke(1)
editmenu.add_cascade(label='Result Count', underline=0, menu=rescntmenu)
menubar.add_cascade(label='Edit', underline=0, menu=editmenu)
self.top.config(menu=menubar)
def _init_menubar(self):
self._result_size = IntVar(self.top)
menubar = Menu(self.top)
filemenu = Menu(menubar, tearoff=0, borderwidth=0)
filemenu.add_command(label='Exit', underline=1,
command=self.destroy, accelerator='Ctrl-q')
menubar.add_cascade(label='File', underline=0, menu=filemenu)
editmenu = Menu(menubar, tearoff=0)
rescntmenu = Menu(editmenu, tearoff=0)
rescntmenu.add_radiobutton(label='20', variable=self._result_size,
underline=0, value=20, command=self.set_result_size)
rescntmenu.add_radiobutton(label='50', variable=self._result_size,
underline=0, value=50, command=self.set_result_size)
rescntmenu.add_radiobutton(label='100', variable=self._result_size,
underline=0, value=100, command=self.set_result_size)
rescntmenu.invoke(1)
editmenu.add_cascade(label='Result Count', underline=0, menu=rescntmenu)
menubar.add_cascade(label='Edit', underline=0, menu=editmenu)
self.top.config(menu=menubar)
def _init_menubar(self):
self._result_size = IntVar(self.top)
self._cntx_bf_len = IntVar(self.top)
self._cntx_af_len = IntVar(self.top)
menubar = Menu(self.top)
filemenu = Menu(menubar, tearoff=0, borderwidth=0)
filemenu.add_command(label='Exit', underline=1,
command=self.destroy, accelerator='Ctrl-q')
menubar.add_cascade(label='File', underline=0, menu=filemenu)
editmenu = Menu(menubar, tearoff=0)
rescntmenu = Menu(editmenu, tearoff=0)
rescntmenu.add_radiobutton(label='20', variable=self._result_size,
underline=0, value=20,
command=self.set_result_size)
rescntmenu.add_radiobutton(label='50', variable=self._result_size,
underline=0, value=50,
command=self.set_result_size)
rescntmenu.add_radiobutton(label='100', variable=self._result_size,
underline=0, value=100,
command=self.set_result_size)
rescntmenu.invoke(1)
editmenu.add_cascade(label='Result Count', underline=0, menu=rescntmenu)
cntxmenu = Menu(editmenu, tearoff=0)
cntxbfmenu = Menu(cntxmenu, tearoff=0)
cntxbfmenu.add_radiobutton(label='60 characters',
variable=self._cntx_bf_len,
underline=0, value=60,
command=self.set_cntx_bf_len)
cntxbfmenu.add_radiobutton(label='80 characters',
variable=self._cntx_bf_len,
underline=0, value=80,
command=self.set_cntx_bf_len)
cntxbfmenu.add_radiobutton(label='100 characters',
variable=self._cntx_bf_len,
underline=0, value=100,
command=self.set_cntx_bf_len)
cntxbfmenu.invoke(1)
cntxmenu.add_cascade(label='Before', underline=0, menu=cntxbfmenu)
cntxafmenu = Menu(cntxmenu, tearoff=0)
cntxafmenu.add_radiobutton(label='70 characters',
variable=self._cntx_af_len,
underline=0, value=70,
command=self.set_cntx_af_len)
cntxafmenu.add_radiobutton(label='90 characters',
variable=self._cntx_af_len,
underline=0, value=90,
command=self.set_cntx_af_len)
cntxafmenu.add_radiobutton(label='110 characters',
variable=self._cntx_af_len,
underline=0, value=110,
command=self.set_cntx_af_len)
cntxafmenu.invoke(1)
cntxmenu.add_cascade(label='After', underline=0, menu=cntxafmenu)
editmenu.add_cascade(label='Context', underline=0, menu=cntxmenu)
menubar.add_cascade(label='Edit', underline=0, menu=editmenu)
self.top.config(menu=menubar)
class SurfaceManipulator(Frame):
r"""
A translation surface editor in tk.
"""
# STATIC METHODS AND OBJECTS
current = None
# boolean variable to remember if the hook was run!
_clear_hook_was_run = 0
@staticmethod
def launch(geometry="800x700+10+10"):
r"""Prefered way to gain access to a SurfaceManipulator window."""
if SurfaceManipulator.current is None:
SurfaceManipulator._clear_hook()
root = Tk()
root.geometry(geometry)
SurfaceManipulator.current = SurfaceManipulator(root)
return SurfaceManipulator.current
@staticmethod
def _window_destroyed(surface_manipulator):
if SurfaceManipulator.current is surface_manipulator:
SurfaceManipulator.current = None
@staticmethod
def _clear_hook():
if not SurfaceManipulator._clear_hook_was_run:
# Hack due to Nathan Dunfield (http://trac.sagemath.org/ticket/15152)
import IPython.lib.inputhook as ih
ih.clear_inputhook()
SurfaceManipulator._clear_hook_was_run = 1
# NORMAL METHODS
def __init__(self, parent, surface=None, surfaces=[]):
r"""
INPUT:
- ``surfaces`` -- a list of surfaces that the editor may modify
- ``surface`` -- surface selected by default
- ``parent`` -- parent Tk window
"""
Frame.__init__(self, parent)
self._parent = parent
self.pack(fill="both", expand=1)
# Run something when closing
self._parent.wm_protocol("WM_DELETE_WINDOW", self.exit)
# Surface currently being manipulated
self._surface = None
# List of surfaces in editor
self._surfaces = []
# More variables to initialize
self._currentActor = None
# Initialization of GUI
self._init_menu()
self._init_gui()
# Setup surface list
for s in surfaces:
self.add_surface(s)
# Setup initial surface
if surface is not None:
self.add_surface(surface)
self.set_surface(surface)
def __repr__(self):
return "Surface manipulator"
def add_mega_wollmilchsau(self):
from geometry.mega_wollmilchsau import MegaWollmilchsau
s = MegaWollmilchsau()
sm, sb = s.get_bundle()
self.set_surface(sb)
def add_octagon(self):
from geometry.similarity_surface_generators import TranslationSurfaceGenerators
ss = TranslationSurfaceGenerators.regular_octagon()
ss.edit()
def _init_menu(self):
self._menubar = Menu(self._parent)
menubar = self._menubar
self._parent.config(menu=menubar)
#new_menu = Menu(menubar, tearoff=0)
#new_menu.add_command(label="Billiard Table", command=self.on_new_similarity_surface)
file_menu = Menu(menubar, tearoff=0)
#file_menu.add_cascade(label="New", menu=new_menu)
file_menu.add_command(label="Octagon", command=self.add_octagon)
file_menu.add_command(label="MegaWollmilchsau",
command=self.add_mega_wollmilchsau)
file_menu.add_separator()
file_menu.add_command(label="About", command=self.on_about)
file_menu.add_command(label="Export PostScript",
command=self.on_export)
file_menu.add_command(label="Exit",
command=self.exit,
accelerator="Alt+F4")
menubar.add_cascade(label="File", underline=0, menu=file_menu)
self._surface_menu = Menu(menubar, tearoff=0)
self._selected_surface = IntVar()
self._selected_surface.set(-1)
menubar.add_cascade(label="Surface",
underline=0,
menu=self._surface_menu)
self._surface_menu.add_radiobutton(label="None",
command=self.menu_select_surface,
variable=self._selected_surface,
value=-1)
def _init_gui(self):
self._parent.title("FlatSurf Editor")
self._canvas = Canvas(self, bg="#444", width=300, height=200)
self._canvas.pack(fill="both", expand=1)
self.bottom_text = Label(self, text="Welcome to FlatSurf.", anchor="w")
self.bottom_text.pack(fill="x", expand=0)
self.set_actor(None)
def add_surface(self, newsurface):
r"""
Add a surface to the display list for the window.
Returns the index of the new surface in the surface list.
"""
if (newsurface == None):
return -1
i = 0
for s in self._surfaces:
if (s == newsurface):
return i
i = i + 1
self._surfaces.append(newsurface)
newsurface.zoom_fit_nice_boundary()
self._reset_surface_menu()
return len(self._surfaces) - 1
def exit(self):
SurfaceManipulator._window_destroyed(self)
self._parent.destroy()
def find_bundle(self, surface):
for surface_bundle in self._surfaces:
if surface is surface_bundle.get_surface():
return surface_bundle
return None
def get_bundle(self):
return self._surface
def get_bundles(self):
return self._surfaces
def get_canvas(self):
return self._canvas
def get_center(self):
r"""
Return the center of the canvas as a pair of integers.
"""
return (self.get_width() / 2, self.get_height() / 2)
def get_height(self):
r"""
Return the height of the canvas (an integer).
"""
return self.get_canvas().winfo_height()
def get_parent(self):
return self._parent
def get_surface_bundle(self):
r"""
Get the current surface bundle, or None if there is none.
"""
return self._surface
def get_width(self):
r"""
Return the width of the canvas (an integer).
"""
return self.get_canvas().winfo_width()
def menu_select_surface(self):
r"""
Called when a surface is selected from a menu.
"""
i = self._selected_surface.get()
if i == -1:
self.set_surface(None)
else:
self.set_surface(self._surfaces[i])
def on_about(self):
self.set_text("Written by Vincent Delecroix and Pat Hooper.")
def on_delete_junk(self):
self._canvas.delete("junk")
def on_export(self):
r"""
Export image as postscript file.
"""
myFormats = [('PostScript', '*.ps')]
fileName = tkFileDialog.asksaveasfilename(parent=self,
filetypes=myFormats,
title="Save image as...")
if len(fileName) > 0:
self._canvas.update()
self._canvas.postscript(file=fileName)
self.set_text("Wrote image to " + fileName)
# def on_new_similarity_surface(self):
# s = CreateSimilaritySurfaceBundle(len(self._surfaces),self)
# if s is not None:
# i = self.set_surface(s)
# self.set_text("Created new surface `"+self._surfaces[i].get_name()+"'.")
def _on_no_surface(self):
self._canvas.delete("all")
def _on_zoom(self):
self.set_actor(ZoomActor(self))
def _on_zoom_box(self):
self.set_actor(ZoomBoxActor(self))
def _on_redraw_all(self):
if self._surface is not None:
self._surface.redraw_all()
def _on_recenter(self):
self.set_actor(RecenterActor(self))
def _reset_menus(self):
r"""
Reset all menus except the file and surface menu
"""
# The following loop removes all but the first two menus (File and Surface).
num = len(self._menubar.children)
for i in range(num, 2, -1):
self._menubar.delete(i)
if self._surface != None:
self._surface.make_menus(self._menubar)
def _reset_surface_menu(self):
r"""
Reset the surface menu.
"""
### This is a hack to get the number of items in the menu:
num = self._surface_menu.index(100) + 1
# First we remove everything but the first entry ("None")
for i in range(num - 1, 0, -1):
#print("removing a child2: "+str(i)+" of "+str(num))
self._surface_menu.delete(i)
# Add an entry for every surface in the list.
for i in range(len(self._surfaces)):
surface = self._surfaces[i]
self._surface_menu.add_radiobutton(
label=surface.get_name(),
command=self.menu_select_surface,
variable=self._selected_surface,
value=i)
def set_text(self, text):
self.bottom_text["text"] = text
def set_actor(self, actor):
r"""
Set the current mode of user interaction.
"""
if (actor != self._currentActor):
if self._currentActor != None:
self._currentActor.on_deactivate()
if (actor == None):
self.set_text("Nothing going on.")
# Event bindings
self._canvas.unbind('<Button-1>')
self._canvas.unbind('<Button-2>')
self._canvas.unbind('<Button-3>')
self._canvas.unbind('<Double-Button-1>')
self._canvas.unbind('<Shift-Button-1>')
self._canvas.unbind('<Motion>')
self.unbind('<FocusIn>')
self.unbind('<FocusOut>')
#self._canvas.unbind('<ButtonPress-1>')
self._canvas.unbind('<ButtonRelease-1>')
self._canvas.unbind('<B1-Motion>')
self._parent.unbind('<Key>')
self._parent.unbind('<KeyRelease>')
else:
# Event bindings
self._canvas.bind('<Button-1>', actor.single_left_click)
self._canvas.bind('<Double-Button-1>', actor.double_left_click)
self._canvas.bind('<Triple-Button-1>', actor.double_left_click)
self._canvas.bind('<Button-2>', actor.single_middle_click)
self._canvas.bind('<Double-Button-2>',
actor.double_middle_click)
self._canvas.bind('<Triple-Button-2>',
actor.double_middle_click)
self._canvas.bind('<Button-3>', actor.single_right_click)
self._canvas.bind('<Double-Button-3>',
actor.double_right_click)
self._canvas.bind('<Triple-Button-3>',
actor.double_right_click)
self._canvas.bind('<Shift-Button-1>', actor.shift_click)
self._canvas.bind('<Motion>', actor.mouse_moved)
#self._canvas.bind('<ButtonPress-1>', actor.left_mouse_pressed)
self._canvas.bind('<ButtonRelease-1>',
actor.left_mouse_released)
self._canvas.bind('<B1-Motion>', actor.left_dragged)
self.bind('<FocusIn>', actor.focus_in)
self.bind('<FocusOut>', actor.focus_out)
self._parent.bind('<Key>', actor.key_press)
self._parent.bind('<KeyRelease>', actor.key_release)
self._currentActor = actor
self._currentActor.on_activate()
def set_surface(self, surface_bundle):
r"""
Set the current surface to the one given by surface_bundle
"""
i = self.add_surface(surface_bundle)
if surface_bundle != self._surface:
self._canvas.delete("all")
self._surface = surface_bundle
self._surface_menu.invoke(i + 1)
if i >= 0:
self.set_text("Switched to `" + self._surface.get_name() +
"'.")
self._parent.title(self._surface.get_name())
self._reset_menus()
# stop the actor (was a bug).
self.set_actor(None)
if isinstance(self._surface, EditorRenderer):
self._surface.initial_render()
else:
self.set_text("No surface selected.")
self._parent.title("FlatSurf Editor")
self._reset_menus()
self.set_actor(None)
return i
def surface_renamed(self):
if self._surface is not None:
self._parent.title(self._surface.get_name())
self._reset_surface_menu()
class SurfaceManipulator(Frame):
r"""
A translation surface editor in tk.
"""
# STATIC METHODS AND OBJECTS
current = None
# boolean variable to remember if the hook was run!
_clear_hook_was_run = 0
@staticmethod
def launch(geometry = "800x700+10+10"):
r"""Prefered way to gain access to a SurfaceManipulator window."""
if SurfaceManipulator.current is None:
SurfaceManipulator._clear_hook()
root = Tk()
root.geometry(geometry)
SurfaceManipulator.current=SurfaceManipulator(root)
return SurfaceManipulator.current
@staticmethod
def _window_destroyed(surface_manipulator):
if SurfaceManipulator.current is surface_manipulator:
SurfaceManipulator.current = None
@staticmethod
def _clear_hook():
if not SurfaceManipulator._clear_hook_was_run:
# Hack due to Nathan Dunfield (http://trac.sagemath.org/ticket/15152)
import IPython.lib.inputhook as ih
ih.clear_inputhook()
SurfaceManipulator._clear_hook_was_run = 1
# NORMAL METHODS
def __init__(self, parent, surface=None, surfaces=[]):
r"""
INPUT:
- ``surfaces`` -- a list of surfaces that the editor may modify
- ``surface`` -- surface selected by default
- ``parent`` -- parent Tk window
"""
Frame.__init__(self, parent)
self._parent = parent
self.pack(fill="both", expand=1)
# Run something when closing
self._parent.wm_protocol ("WM_DELETE_WINDOW", self.exit)
# Surface currently being manipulated
self._surface=None
# List of surfaces in editor
self._surfaces=[]
# More variables to initialize
self._currentActor=None
# Initialization of GUI
self._init_menu()
self._init_gui()
# Setup surface list
for s in surfaces:
self.add_surface(s)
# Setup initial surface
if surface is not None:
self.add_surface(surface)
self.set_surface(surface)
def __repr__(self):
return "Surface manipulator"
def add_mega_wollmilchsau(self):
from geometry.mega_wollmilchsau import MegaWollmilchsau
s = MegaWollmilchsau()
sm,sb = s.get_bundle()
self.set_surface(sb)
def add_octagon(self):
from geometry.similarity_surface_generators import TranslationSurfaceGenerators
ss=TranslationSurfaceGenerators.regular_octagon()
ss.edit()
def _init_menu(self):
self._menubar = Menu(self._parent)
menubar=self._menubar
self._parent.config(menu=menubar)
#new_menu = Menu(menubar, tearoff=0)
#new_menu.add_command(label="Billiard Table", command=self.on_new_similarity_surface)
file_menu = Menu(menubar, tearoff=0)
#file_menu.add_cascade(label="New", menu=new_menu)
file_menu.add_command(label="Octagon", command=self.add_octagon)
file_menu.add_command(label="MegaWollmilchsau", command=self.add_mega_wollmilchsau)
file_menu.add_separator()
file_menu.add_command(label="About", command=self.on_about)
file_menu.add_command(label="Export PostScript", command=self.on_export)
file_menu.add_command(label="Exit", command=self.exit, accelerator="Alt+F4")
menubar.add_cascade(label="File", underline=0, menu=file_menu)
self._surface_menu = Menu(menubar, tearoff=0)
self._selected_surface = IntVar()
self._selected_surface.set(-1)
menubar.add_cascade(label="Surface", underline=0, menu=self._surface_menu)
self._surface_menu.add_radiobutton(label="None",
command=self.menu_select_surface, variable=self._selected_surface,
value=-1)
def _init_gui(self):
self._parent.title("FlatSurf Editor")
self._canvas = Canvas(self, bg="#444", width=300, height=200)
self._canvas.pack(fill="both", expand=1)
self.bottom_text = Label(self, text="Welcome to FlatSurf.",
anchor="w")
self.bottom_text.pack(fill="x", expand=0)
self.set_actor(None)
def add_surface(self,newsurface):
r"""
Add a surface to the display list for the window.
Returns the index of the new surface in the surface list.
"""
if (newsurface==None):
return -1
i=0
for s in self._surfaces:
if (s==newsurface):
return i
i=i+1
self._surfaces.append(newsurface)
newsurface.zoom_fit_nice_boundary()
self._reset_surface_menu()
return len(self._surfaces)-1
def exit(self):
SurfaceManipulator._window_destroyed(self)
self._parent.destroy()
def find_bundle(self, surface):
for surface_bundle in self._surfaces:
if surface is surface_bundle.get_surface():
return surface_bundle
return None
def get_bundle(self):
return self._surface
def get_bundles(self):
return self._surfaces
def get_canvas(self):
return self._canvas
def get_center(self):
r"""
Return the center of the canvas as a pair of integers.
"""
return ( self.get_width()/2, self.get_height()/2 )
def get_height(self):
r"""
Return the height of the canvas (an integer).
"""
return self.get_canvas().winfo_height()
def get_parent(self):
return self._parent
def get_surface_bundle(self):
r"""
Get the current surface bundle, or None if there is none.
"""
return self._surface
def get_width(self):
r"""
Return the width of the canvas (an integer).
"""
return self.get_canvas().winfo_width()
def menu_select_surface(self):
r"""
Called when a surface is selected from a menu.
"""
i = self._selected_surface.get()
if i == -1:
self.set_surface(None)
else:
self.set_surface(self._surfaces[i])
def on_about(self):
self.set_text("Written by Vincent Delecroix and Pat Hooper.")
def on_delete_junk(self):
self._canvas.delete("junk")
def on_export(self):
r"""
Export image as postscript file.
"""
myFormats = [('PostScript','*.ps')]
fileName = tkFileDialog.asksaveasfilename(parent=self,
filetypes=myFormats , title="Save image as...")
if len(fileName ) > 0:
self._canvas.update()
self._canvas.postscript(file = fileName)
self.set_text("Wrote image to "+fileName)
# def on_new_similarity_surface(self):
# s = CreateSimilaritySurfaceBundle(len(self._surfaces),self)
# if s is not None:
# i = self.set_surface(s)
# self.set_text("Created new surface `"+self._surfaces[i].get_name()+"'.")
def _on_no_surface(self):
self._canvas.delete("all")
def _on_zoom(self):
self.set_actor(ZoomActor(self))
def _on_zoom_box(self):
self.set_actor(ZoomBoxActor(self))
def _on_redraw_all(self):
if self._surface is not None:
self._surface.redraw_all()
def _on_recenter(self):
self.set_actor(RecenterActor(self))
def _reset_menus(self):
r"""
Reset all menus except the file and surface menu
"""
# The following loop removes all but the first two menus (File and Surface).
num = len(self._menubar.children)
for i in range(num,2,-1):
self._menubar.delete(i)
if self._surface!= None:
self._surface.make_menus(self._menubar)
def _reset_surface_menu(self):
r"""
Reset the surface menu.
"""
### This is a hack to get the number of items in the menu:
num = self._surface_menu.index(100)+1
# First we remove everything but the first entry ("None")
for i in range(num-1,0,-1):
#print("removing a child2: "+str(i)+" of "+str(num))
self._surface_menu.delete(i)
# Add an entry for every surface in the list.
for i in range( len(self._surfaces) ):
surface = self._surfaces[i]
self._surface_menu.add_radiobutton(label=surface.get_name(),
command=self.menu_select_surface, variable=self._selected_surface,
value=i)
def set_text(self, text):
self.bottom_text["text"]=text
def set_actor(self, actor):
r"""
Set the current mode of user interaction.
"""
if (actor != self._currentActor):
if self._currentActor != None:
self._currentActor.on_deactivate()
if (actor==None):
self.set_text("Nothing going on.")
# Event bindings
self._canvas.unbind('<Button-1>')
self._canvas.unbind('<Button-2>')
self._canvas.unbind('<Button-3>')
self._canvas.unbind('<Double-Button-1>')
self._canvas.unbind('<Shift-Button-1>')
self._canvas.unbind('<Motion>')
self.unbind('<FocusIn>')
self.unbind('<FocusOut>')
#self._canvas.unbind('<ButtonPress-1>')
self._canvas.unbind('<ButtonRelease-1>')
self._canvas.unbind('<B1-Motion>')
self._parent.unbind('<Key>')
self._parent.unbind('<KeyRelease>')
else:
# Event bindings
self._canvas.bind('<Button-1>', actor.single_left_click)
self._canvas.bind('<Double-Button-1>', actor.double_left_click)
self._canvas.bind('<Triple-Button-1>', actor.double_left_click)
self._canvas.bind('<Button-2>', actor.single_middle_click)
self._canvas.bind('<Double-Button-2>', actor.double_middle_click)
self._canvas.bind('<Triple-Button-2>', actor.double_middle_click)
self._canvas.bind('<Button-3>', actor.single_right_click)
self._canvas.bind('<Double-Button-3>', actor.double_right_click)
self._canvas.bind('<Triple-Button-3>', actor.double_right_click)
self._canvas.bind('<Shift-Button-1>', actor.shift_click)
self._canvas.bind('<Motion>', actor.mouse_moved)
#self._canvas.bind('<ButtonPress-1>', actor.left_mouse_pressed)
self._canvas.bind('<ButtonRelease-1>', actor.left_mouse_released)
self._canvas.bind('<B1-Motion>',actor.left_dragged)
self.bind('<FocusIn>', actor.focus_in)
self.bind('<FocusOut>', actor.focus_out)
self._parent.bind('<Key>', actor.key_press)
self._parent.bind('<KeyRelease>', actor.key_release)
self._currentActor=actor
self._currentActor.on_activate()
def set_surface(self,surface_bundle):
r"""
Set the current surface to the one given by surface_bundle
"""
i = self.add_surface(surface_bundle)
if surface_bundle != self._surface:
self._canvas.delete("all")
self._surface=surface_bundle
self._surface_menu.invoke(i+1)
if i >= 0:
self.set_text("Switched to `"+self._surface.get_name()+"'.")
self._parent.title(self._surface.get_name())
self._reset_menus()
# stop the actor (was a bug).
self.set_actor(None)
if isinstance(self._surface, EditorRenderer):
self._surface.initial_render()
else:
self.set_text("No surface selected.")
self._parent.title("FlatSurf Editor")
self._reset_menus()
self.set_actor(None)
return i
def surface_renamed(self):
if self._surface is not None:
self._parent.title(self._surface.get_name())
self._reset_surface_menu()
def _init_menubar(self):
self._result_size = IntVar(self.top)
self._cntx_bf_len = IntVar(self.top)
self._cntx_af_len = IntVar(self.top)
menubar = Menu(self.top)
filemenu = Menu(menubar, tearoff=0, borderwidth=0)
filemenu.add_command(label='Exit',
underline=1,
command=self.destroy,
accelerator='Ctrl-q')
menubar.add_cascade(label='File', underline=0, menu=filemenu)
editmenu = Menu(menubar, tearoff=0)
rescntmenu = Menu(editmenu, tearoff=0)
rescntmenu.add_radiobutton(label='20',
variable=self._result_size,
underline=0,
value=20,
command=self.set_result_size)
rescntmenu.add_radiobutton(label='50',
variable=self._result_size,
underline=0,
value=50,
command=self.set_result_size)
rescntmenu.add_radiobutton(label='100',
variable=self._result_size,
underline=0,
value=100,
command=self.set_result_size)
rescntmenu.invoke(1)
editmenu.add_cascade(label='Result Count',
underline=0,
menu=rescntmenu)
cntxmenu = Menu(editmenu, tearoff=0)
cntxbfmenu = Menu(cntxmenu, tearoff=0)
cntxbfmenu.add_radiobutton(label='60 characters',
variable=self._cntx_bf_len,
underline=0,
value=60,
command=self.set_cntx_bf_len)
cntxbfmenu.add_radiobutton(label='80 characters',
variable=self._cntx_bf_len,
underline=0,
value=80,
command=self.set_cntx_bf_len)
cntxbfmenu.add_radiobutton(label='100 characters',
variable=self._cntx_bf_len,
underline=0,
value=100,
command=self.set_cntx_bf_len)
cntxbfmenu.invoke(1)
cntxmenu.add_cascade(label='Before', underline=0, menu=cntxbfmenu)
cntxafmenu = Menu(cntxmenu, tearoff=0)
cntxafmenu.add_radiobutton(label='70 characters',
variable=self._cntx_af_len,
underline=0,
value=70,
command=self.set_cntx_af_len)
cntxafmenu.add_radiobutton(label='90 characters',
variable=self._cntx_af_len,
underline=0,
value=90,
command=self.set_cntx_af_len)
cntxafmenu.add_radiobutton(label='110 characters',
variable=self._cntx_af_len,
underline=0,
value=110,
command=self.set_cntx_af_len)
cntxafmenu.invoke(1)
cntxmenu.add_cascade(label='After', underline=0, menu=cntxafmenu)
editmenu.add_cascade(label='Context', underline=0, menu=cntxmenu)
menubar.add_cascade(label='Edit', underline=0, menu=editmenu)
self.top.config(menu=menubar)
def __init__(self,game):
assert type(game) is Game
self.root = Tk()
self.root.title('SET')
self.root.resizable(0,0)
self.root.withdraw()
GUIHandler.screenwidth = self.root.winfo_screenwidth()
GUIHandler.screenheight = self.root.winfo_screenheight()
if GUIHandler.screenwidth < 1024 or GUIHandler.screenheight < 768:
showerror("Resolution Error","Your screen's resolution is likely not the best choice to run this game. Minimum resolution for this game is at least 1024x768.")
raise ResolutionError(GUIHandler.screenwidth,GUIHandler.screenheight)
GUIHandler.windowwidth = GUIHandler.screenwidth // 3
GUIHandler.windowheight = GUIHandler.screenheight // 1.5
self.buttonField = None
self.checkButtonField = None
self.Game = game
self.Field = game.field
assert self.Game
assert self.Field
self.root.geometry('%dx%d+%d+%d' % (GUIHandler.windowwidth,
GUIHandler.windowheight,
self.root.winfo_screenwidth()/8,
self.root.winfo_screenheight()/8))
menu = Menu(self.root)
gamemenu = Menu(menu,tearoff=0)
gamemenu.add_command(label='New Game',command=lambda:self.startNewGame(),accelerator="F2")
gamemenu.add_command(label='Leaderboards',command=lambda:showinfo("Not implemented","Feature not implemented...yet."))
gamemenu.add_command(label='Exit',command=lambda:self.root.destroy(),accelerator="Alt-F4")
menu.add_cascade(label='Game',menu=gamemenu)
settingmenu = Menu(menu,tearoff=0)
gamedifficulty = Menu(settingmenu,tearoff=0)
gamedifficulty.add_radiobutton(label='Beginner',command=lambda :self.changeGameDifficulty(Difficulty.BEGINNER),accelerator="B")
gamedifficulty.add_radiobutton(label='Novice',command=lambda :self.changeGameDifficulty(Difficulty.NOVICE),accelerator="N")
gamedifficulty.add_radiobutton(label='Advanced',command=lambda :self.changeGameDifficulty(Difficulty.ADVANCED),accelerator="A")
settingmenu.add_cascade(label='Game Difficulty',menu=gamedifficulty)
timedmode = Menu(settingmenu,tearoff=0)
timedmode.add_radiobutton(label='On',command=lambda:showinfo("Not implemented","Feature not implemented...yet."))
timedmode.add_radiobutton(label='Off',command=lambda:showinfo("Not implemented","Feature not implemented...yet."))
settingmenu.add_cascade(label='Timed Mode',menu=timedmode)
timeddifficulty = Menu(settingmenu,tearoff=0)
timeddifficulty.add_radiobutton(label='Easy',accelerator="E")
timeddifficulty.add_radiobutton(label='Medium',accelerator="M")
timeddifficulty.add_radiobutton(label='Hard',accelerator="H")
settingmenu.add_cascade(label='Timed Difficulty',menu=timeddifficulty)
menu.add_cascade(label='Settings',menu=settingmenu)
helpmenu = Menu(menu,tearoff=0)
helpmenu.add_command(label='About SET',command=lambda:showinfo("Not implemented","Feature not implemented...yet."))
menu.add_cascade(label='Help',menu=helpmenu)
self.root.config(menu=menu)
self.root.bind('<F2>',lambda e:gamemenu.invoke(0))
self.root.bind('L',lambda e:gamemenu.invoke(1))
self.root.bind('<Alt-F4>',lambda e:gamemenu.invoke(2))
self.root.bind('b',lambda e:gamedifficulty.invoke(Difficulty.BEGINNER))
self.root.bind('n',lambda e:gamedifficulty.invoke(Difficulty.NOVICE))
self.root.bind('a',lambda e:gamedifficulty.invoke(Difficulty.ADVANCED))
self.remainderLabel = Label(self.root,text="There are %d set(s) remaining on the board." % self.Game.numSetsRemaining(),bg="white",relief=Tkinter.RAISED,font=('Helvetica',12))
self.remainderLabel.place(x=(GUIHandler.windowwidth-self.remainderLabel.winfo_reqwidth())//2,y=3*GUIHandler.windowheight//4)
timer = Label(self.root,text="Untimed Mode",bg="green",relief=Tkinter.RAISED,font=('Helvetica',12))
timer.place(x=(GUIHandler.windowwidth-timer.winfo_reqwidth())//2,y=3*GUIHandler.windowheight//4.5)
hintbutton = Button(text="Hint, please!",font=("Helvetica",12),command=lambda :self.getHint())
hintbutton.place(x=(GUIHandler.windowwidth-hintbutton.winfo_reqwidth())//2,y=3*GUIHandler.windowheight//3.5)
self.userSetsCreated = Toplevel(self.root)
self.userSetsHeight = 0
self.userSetsCreated.title("Sets Created")
self.userSetsCreated.geometry("%dx%d+%d+%d" % (Card.pixelWidth*3,
self.userSetsCreated.winfo_screenheight(),
self.root.winfo_pointerx()+self.userSetsCreated.winfo_reqwidth(),0))
self.userSetsCreated.protocol("WM_DELETE_WINDOW",0)
self.userSetsCreated.resizable(0,0)
self.root.focus_set()
self.updateCardsOnField(self.Field)
