def __init_view(self):
"""Load the widgets."""
gtk.VBox.__init__(self)
self.__sw = gtk.ScrolledWindow()
self.pack_start(self.__sw)
self.__sw.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC)
self.__view = gtk.TreeView(self.__model)
self.__view.set_rules_hint(True)
self.__view.set_enable_search(False)
self.__sw.add(self.__view)
self.__view.set_headers_visible(False)
for column in self.__init_renderers():
self.__view.append_column(column)
if self.EDIT_BOX == True:
self.__editbox = QuestionBox()
self.pack_start(self.__editbox, expand=False)
if self.EDIT_BUTTONS == True:
self.__toolbar = toolbar.Toolbar()
self.__toolbar.add_button('new', 'new', 'new', True)
self.__toolbar.add_button('delete', 'delete', 'delete', True)
self.__toolbar.add_button('edit', 'edit', 'Edit this item.', True)
self.__toolbar.connect('clicked', self.cb_toolbar_clicked)
self.pack_start(self.__toolbar, expand=False)
self.__init_signals()
if self.SORT_BY is not None:
self.sort_by([self.SORT_BY])
if self.SORT_LIST is not None:
self.sort_by(self.SORT_LIST)
self.show_all()
def __init__(self):
gtk.HBox.__init__(self)
self.__entry = gtk.Entry()
self.pack_start(self.__entry)
self.__toolbar = toolbar.Toolbar()
self.pack_start(self.__toolbar)
self.__toolbar.add_button('ok', 'apply', 'ok')
self.__toolbar.add_button('cancel', 'cancel', 'cancel')
self.__toolbar.connect('clicked', self.cb_toolbar_clicked)
self.set_sensitive(False)
def createWidgets(self):
#Toolbar
self.toolbar = toolbar.Toolbar(self)
self.toolbar.pack(side=tkinter.TOP, fill=tkinter.X)
#Listbox mit Scrollbar für die Anzeige der Rezepte
self.sb = recipeList.RecipeList(self)
self.sb.pack()
#Statusbar
self.status = statusBar.StatusBar(self)
self.status.pack(side=tkinter.BOTTOM, fill=tkinter.X)
def __init_view(self):
"""Load the widgets."""
gtk.VBox.__init__(self)
self.__sw = gtk.ScrolledWindow()
self.pack_start(self.__sw)
self.__sw.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC)
self.__view = gtk.TreeView(self.__model)
self.__view.set_rules_hint(True)
self.__view.set_enable_search(False)
self.__view.set_model(self.__model)
self.__sw.add(self.__view)
self.__view.set_headers_visible(False)
for column in self.__init_renderers():
self.__view.append_column(column)
if self.SORT_CONTROLS == True:
sb = gtk.Expander()
self.pack_start(sb, expand=False)
l = gtk.Label('Sort')
sb.set_label_widget(l)
hb = gtk.HBox()
sb.add(hb)
self.__sortcombo = gtk.combo_box_new_text()
hb.pack_start(self.__sortcombo)
if self.SORT_AVAILABLE is not None:
self.sort_available = dict(self.SORT_AVAILABLE)
for attr, val in self.SORT_AVAILABLE:
self.__sortcombo.append_text(attr)
self.__sortdir = gtk.ToggleToolButton(
stock_id=gtk.STOCK_SORT_DESCENDING)
hb.pack_start(self.__sortdir, expand=False)
self.__sortdir.set_active(True)
self.__sortcombo.set_active(0)
self.__sortdir.connect('toggled', self.cb_sortdir_toggled)
self.__sortcombo.connect('changed', self.cb_sortcombo_changed)
self.__user_initiated_sort()
if self.EDIT_BOX == True:
self.__editbox = QuestionBox()
self.pack_start(self.__editbox, expand=False)
if self.EDIT_BUTTONS == True:
self.__toolbar = toolbar.Toolbar()
self.__toolbar.add_button('new', 'new', 'new', True)
self.__toolbar.add_button('delete', 'delete', 'delete', True)
self.__toolbar.add_button('edit', 'edit', 'Edit this item.', True)
self.__toolbar.connect('clicked', self.cb_toolbar_clicked)
self.pack_start(self.__toolbar, expand=False)
self.__init_signals()
if self.SORT_BY is not None:
self.sort_by([self.SORT_BY])
if self.SORT_LIST is not None:
self.sort_by(self.SORT_LIST)
self.show_all()
def initScreen(self):
# try:
# self.surface = pygame.display.set_mode( self._theme['screen']['size'] )
# except Exception:
# pass
# Fill background
self._background = pygame.Surface(self.surface.get_size())
self._background = self._background.convert()
self._background.fill((255, 255, 255))
self._display = TDisplay(self.surface)
vbox = TVBoxLayout()
tb = TToolbar()
button1 = TButton('Connect', theme.Theme.loadImage('icon_connect.png'))
button2 = TButton('Start', theme.Theme.loadImage('icon_connect.png'))
button3 = TButton('Send armies',
theme.Theme.loadImage('icon_connect.png'))
button4 = TButton('1. Regroup',
theme.Theme.loadImage('icon_connect.png'))
button5 = TButton('2. Get card',
theme.Theme.loadImage('icon_connect.png'))
button6 = TButton('3. End turn',
theme.Theme.loadImage('icon_connect.png'))
button7 = TButton('View players',
theme.Theme.loadImage('icon_connect.png'))
tb.addWidget(button1)
tb.addWidget(button2)
tb.addSeparator()
tb.addWidget(button3)
tb.addWidget(button4)
tb.addWidget(button5)
tb.addWidget(button6)
tb.addSeparator()
tb.addWidget(button7)
theMap = map.Map(self._theme)
theToolbar = toolbar.Toolbar(self._theme['toolbar'])
vbox.addWidget(tb)
vbox.addWidget(theMap)
vbox.addWidget(theToolbar)
self.surface = pygame.display.set_mode(vbox.getSize())
self._display.addWidget(vbox)
self._display.update()
w = TWindow('Connect to server')
w.setSize((300, 300))
w.setOrigin((120, 120))
w.update()
def setUI(self):
self.toolbar = tb.Toolbar(self)
self.main = wid.Widget()
self.toolbar.set_main(self.main)
self.main.set_toolbar(
self.toolbar) #dock widgetlerin açıp kapamak için
self.toolbar.SetNewsDock(self.main.tools, self.main.codes,
self.main.object)
self.toolbar.DefaultObject()
self.setCentralWidget(self.main)
def __init_widgets(self):
tb = gtk.HBox()
self.widget.pack_start(tb, expand=False)
own_tb = toolbar.Toolbar()
own_tb.connect('clicked', self.cb_toolbar_clicked)
own_tb.add_button('project_root', 'project',
'Browse the source directory of the current project')
own_tb.add_button('refresh', 'refresh',
'Refresh the current directory')
tb.pack_start(own_tb, expand=False)
self.__toolbar = contextwidgets.context_toolbar()
tb.pack_start(self.__toolbar, expand=False)
self.__fileview = FileTree(self)
self.widget.pack_start(self.__fileview)
self.__fileview.connect('double-clicked', self.cb_file_activated)
self.__fileview.connect('right-clicked', self.cb_file_rightclicked)
def __init__(self, game, save_file=None):
messenger.Messenger.gamescreens.append(self)
self.game = game
self.save_file = save_file
self.map = serial.load_file("resources/map/default_map")
self.map.objects["player"] = Player(
self.map.objects["player_start"][0],
self.map.objects["player_start"][1], self)
self.toolbar = toolbar.Toolbar()
self.map.objects.setdefault("npcs",
[]).append(Corinth(100, 100,
self)) #testing NPC
self.camera = tile.Camera(self.map, CAMERA_WIDTH, CAMERA_HEIGHT, 0,
128)
self.lambdas = []
self.keys = []
self.update_start()
if save_file:
self.load_save(save_file)
def init(self):
tb = gtk.HBox()
self.widget.pack_start(tb, expand=False)
own_tb = toolbar.Toolbar()
own_tb.connect('clicked', self.cb_toolbar_clicked)
own_tb.add_button('project_root', 'project',
'Browse the source directory of the current project')
own_tb.add_button('refresh', 'refresh',
'Refresh the current directory')
tb.pack_start(own_tb, expand=False)
self.__toolbar = contextwidgets.context_toolbar()
tb.pack_start(self.__toolbar, expand=False)
#hbox = gtk.HPaned()
#self.widget.pack_start(hbox)
#sw = gtk.ScrolledWindow()
#sw.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC)
#hbox.pack2(sw)
self.__fileview = FileTree(self)
self.widget.pack_start(self.__fileview)
self.__fileview.connect('double-clicked', self.cb_file_activated)
self.__fileview.connect('right-clicked', self.cb_file_rightclicked)
self.__currentdirectory = None
def __init_topbar(self, topbar):
self.__toolbar_area = gtk.HBox()
self.__toolbar_area.show()
topbar.pack_start(self.__toolbar_area, expand=False)
# TODO: check if toolbar.Toolbar needs work too
self.__toolbar = toolbar.Toolbar()
self.__toolbar.show()
self.__toolbar_area.pack_start(self.__toolbar, expand=False)
self.__toolbar.connect('clicked', self.cb_toolbar_clicked)
for name, icon, tooltip in self.BUTTONS:
self.__toolbar.add_button(name, icon, tooltip)
if self.HAS_CONTROL_BOX:
if self.HAS_DETACH_BUTTON:
detbut = paned.sizer('menu')
self.__toolbar_area.pack_start(detbut, expand=False)
detbut.connect('clicked',
self.cb_controlbar_detach_clicked)
self.__long_title_label = gtk.Label(self.__long_title)
self.__long_title_label.show()
if self.HAS_TITLE:
self.__toolbar_area.pack_start(self.__long_title_label, padding=6)
self.__long_title_label.set_alignment(0.0, 0.5)
self.__long_title_label.set_selectable(True)
if self.HAS_CONTROL_BOX:
if self.HAS_CLOSE_BUTTON:
align = gtk.Alignment()
align.show()
self.__toolbar_area.pack_start(align)
closebut = paned.sizer('close')
closebut.show()
self.__toolbar_area.pack_start(closebut, expand=False)
closebut.connect('clicked',
self.cb_controlbar_close_clicked)
def __init__(self):
warnings.filterwarnings("ignore")
for arg in sys.argv:
if arg == '--power':
self.POWER_FONA = True
print 'Powering FONA on...'
else:
self.POWER_FONA = False
if arg == '--version':
print 'TYOS VERSION ' + VERSION
sys.exit()
self.VERSION = VERSION
if self.POWER_FONA:
import power
power.Power().toggle()
time.sleep(10)
#Setup fona
self.fona = serialport.SerialPort()
self.fona.connect()
self.set_audio()
#Setup some important objects
self.scope = framebuffer.pyscope()
self.toolbar = toolbar.Toolbar(self.fona)
self.apps = apps.App(self.fona)
self.reciever = receive.Receive(self.fona)
pygame.init()
#Setup surface
self.WINDOWWIDTH = 320
self.WINDOWHIEGHT = 480
self.surface = pygame.display.set_mode(
(self.WINDOWWIDTH, self.WINDOWHIEGHT), pygame.FULLSCREEN)
pygame.mouse.set_visible(False)
self.clock = pygame.time.Clock()
#Colors R G B
self.BLUE = (0, 0, 255)
self.WHITE = (255, 255, 255)
self.BLACK = (0, 0, 0)
self.surface.fill(self.WHITE)
self.update = True
#Setup logo
self.logo = pygame.image.load('/home/pi/tyos/graphics/logo.png')
self.logo_rect = self.logo.get_rect()
self.logo_rect.y = self.surface.get_rect().centery - 50
self.logo_rect.centerx = self.surface.get_rect().centerx
#Setup Battery Icon
self.bat = pygame.image.load('/home/pi/tyos/graphics/bat.png')
self.bat_rect = self.bat.get_rect()
self.bat_rect.centery = 15
self.bat_rect.right = self.WINDOWWIDTH - 10
#Setup Low Battery Icon
self.low_bat = pygame.image.load('/home/pi/tyos/graphics/low_bat.png')
self.low_bat_rect = self.low_bat.get_rect()
self.low_bat_rect.centery = 380
self.low_bat_rect.centerx = self.surface.get_rect().centerx
#Setup App Toolbar
self.app_toolbar = pygame.Rect(0, 0, 320, 30)
#Rectangle Dictionary
self.rectangles = {'rects': [self.app_toolbar], 'colors': [self.BLACK]}
#Reception Rectangle dictionary
self.reception_bars = {'rects': [], 'colors': []}
#Battery Left Text
self.bat_left = {
'surface': self.toolbar.bat_left,
'rects': self.toolbar.bat_left_rect
}
#Setup fonts
self.font = pygame.font.Font('/home/pi/tyos/fonts/arial.ttf', 20)
#Setup clock Text
self.clock_text = self.font.render('12:00', True, self.WHITE,
self.BLACK)
self.clock_text_rect = self.clock_text.get_rect()
self.clock_text_rect.centerx = self.surface.get_rect().centerx
self.clock_text_rect.centery = 15
#Image Dictionary
self.images = {
'surfaces': [self.bat],
'rects': [self.bat_rect, self.clock_text_rect]
}
self.blit_logo = True
self.dead_bat = False
def __init__(self, caption):
Window.__init__(self, caption)
dirChilds = Vector2((-1, 0))
self.items = []
# Load default workspace
filename = config.get('workspace', 'default.xml')
if filename:
if not saving.load(self, filename):
print "Can't open default workspace"
self.expandMatrix = TransformMatrix()
self.expandMatrix.setExpand(Figure.expandCoef)
self.viewMatrix = None
self.viewMatrix = self.defaultView(self.size, 35)
self.selection = Selection(None)
self.highlight = Selection(None) # Dragging Figure over another Figure
self.dragPos = None # Start drag position
self.mode = let.Mode() # Mode of reduction
self.quick = False # Quick Reduction
self.cursors = (cursors.arrow, cursors.finger)
self.setCursor(self.cursors[int(self.quick)])
self.nonstop = False # Nonstop reduction mode
self.showInfo = True
# Drawing
self.boldLambda = int(config.get('bold_lambda', 0))
self.eventProcs = {
K_i: self.eventInputItem,
K_d: self.eventDeleteItem,
K_c: self.eventCopyItem,
K_RETURN: {
KMOD_CTRL: self.eventNonstop,
None: self.eventReduce
},
K_BACKSPACE: self.eventUndo,
K_z: {
KMOD_CTRL: self.eventUndo
},
K_y: {
KMOD_CTRL: self.eventRedo
},
K_LEFT: {
KMOD_ALT: self.eventUndo
},
K_RIGHT: {
KMOD_ALT: self.eventRedo
},
K_SPACE: self.eventExpandSelection,
K_DELETE: self.eventDeleteNode,
K_INSERT: {
KMOD_ALT: self.eventAddLambda,
KMOD_CTRL: self.eventAddApplicationAfter,
None: self.eventAddApplicationBefore
},
K_s: {
KMOD_CTRL: self.eventSave,
KMOD_ALT: self.eventModeBySelection
},
K_o: {
KMOD_CTRL: self.eventLoad
},
K_q: self.eventModeQuick,
K_a: {
KMOD_ALT: self.eventModeStrategy,
KMOD_CTRL: self.eventAddApplicationAfter,
None: self.eventAddApplicationBefore
},
K_l: {
KMOD_ALT: self.eventModeLazy,
None: self.eventAddLambda
},
K_v: self.eventAddVariable,
K_p: {
KMOD_ALT: self.eventModeLazy
},
K_e: {
KMOD_ALT: self.eventExportMode
},
K_F1: self.eventViewHelp,
K_F5: self.eventRefreshView,
K_F12: self.eventSaveScreen
}
#-----------------------------------------------------
# Prepare toolbars
self.toolbars = []
ims = toolbar.ImageSet('icons.bmp', (48, 48))
# Create font for Menus
fontsize = int(config.get('fontsize')) or 11
toolbar.ToolbarItem.fontsize = fontsize
toolbar.ToolbarItem.font = pygame.font.SysFont('lucidaconsole',
fontsize)
left = toolbar.Toolbar(toolbar.LEFT)
left.add(self.eventInputItem, 'Input Item from console (I)',
'Input Item')
left.add(None, None, '')
left.add(None, None, 'Reduction')
left.add(self.eventModeStrategy, 'Toggle reduction strategy (Alt+A)',
' Normal order', ' Applicative',
lambda: self.mode.applicative)
left.add(self.eventModeLazy, 'Toggle calculus (Alt+L, Alt+P)',
' Pure Lambda', ' Lazy', lambda: self.mode.lazy)
left.add(
self.eventModeBySelection,
'Reduction inside selection only or the whole expression (Alt+S)',
' whole expression', ' in selection', lambda: self.mode.redex)
left.add(None, None, '')
left.add(self.eventSave,
'Save Workspace. Input file name from console. (Ctrl+S)',
'Save')
left.add(self.eventLoad,
'Load Workspace. Input file name from console. (Ctrl+O)',
'Load')
self.toolbars.append(left)
right = toolbar.Toolbar(toolbar.RIGHT)
right.add(self.eventModeQuick, 'Quick mode: Pick for reduction. (Q)',
(ims, 2, 1), (ims, 2, 2), lambda: self.quick)
right.add(self.eventAddVariable,
'Add a free variable to workspace (V)', (ims, 0, 0))
right.add(self.eventAddApplicationBefore,
'Add application before selection (Insert, A)', (ims, 0, 1))
right.add(self.eventAddApplicationAfter,
'Add application after selection (Ctrl+Insert, Ctrl+A)',
(ims, 0, 2))
right.add(self.eventAddLambda, 'Add lambda bubble (Alt+Insert, L)',
(ims, 1, 2))
right.add(self.eventDeleteNode, 'Delete selected bubbles (Delete)',
(ims, 1, 1))
right.add(self.eventDeleteItem, 'Delete selected item (D)',
(ims, 1, 0))
right.add(self.eventCopyItem, 'Copy selected item (C)', (ims, 2, 0))
self.toolbars.append(right)
bottom = toolbar.Toolbar(toolbar.BOTTOM)
bottom.add(self.eventUndo, 'Undo (Ctrl+Z, Alt+Left, Backspace)',
(ims, 3, 1))
bottom.add(self.eventReduce, 'Reduce selected figure (Enter)',
(ims, 3, 0))
bottom.add(self.eventRedo, 'Redo (Ctrl+Y, Alt+Right)', (ims, 3, 2))
self.toolbars.append(bottom)
self.invalidate()
