curver.application.main module¶

The main window of the curver GUI application.

class curver.application.main.CurverApplication(parent, items)[source]¶

Bases: object

current_drawing()[source]¶

export_image()[source]¶

parent_key_press(event)[source]¶

quit()[source]¶

redraw()[source]¶

show_about()[source]¶

show_help()[source]¶

translate(dx, dy)[source]¶

zoom_in()[source]¶

zoom_out()[source]¶

zoom_to_drawing()[source]¶

class curver.application.main.Drawing(note, canvas, item, options)[source]¶

Bases: object

create_curve_component(vertices, thin=True, smooth=False)[source]¶

create_edge(v1, v2, label, colour, create_inverse=False)[source]¶

create_edge_labels()[source]¶

create_triangle(e1, e2, e3)[source]¶

create_vertex(point)[source]¶

destroy_edge_labels()[source]¶

draw_lamination(lamination)[source]¶

draw_triangulation(triangulation)[source]¶

get_size()[source]¶

redraw()[source]¶

translate(dx, dy)[source]¶

zoom(scale)[source]¶

zoom_centre(scale)[source]¶

zoom_in()[source]¶

zoom_out()[source]¶

zoom_to_drawing()[source]¶

class curver.application.main.Showable(name, item)¶

Bases: tuple

item¶: Alias for field number 1

name¶: Alias for field number 0

curver.application.main.dot(a, b)[source]¶

curver.application.main.get_colours(num_colours)[source]¶

curver.application.main.random() → x in the interval [0, 1).¶

curver.application.main.start(*items)[source]¶