Example #1
0
    def __init__(self):

        Gtk.Paned.__init__(self, orientation=Gtk.Orientation.VERTICAL)

        from JAMediaTerminal.Terminal import Terminal

        self.notebook_sourceview = Notebook_SourceView()
        self.terminal = Terminal()

        # Terminal en ejecuciĆ³n.
        self.ejecucion = False
        # Tipo: proyecto o archivo.
        self.ejecucion_activa = False

        self.pack1(self.notebook_sourceview, resize=True, shrink=False)
        self.pack2(self.terminal, resize=False, shrink=True)

        self.show_all()

        self.terminal.set_size_request(-1, 170)

        self.notebook_sourceview.connect('new_select',
                                         self.__re_emit_new_select)
        self.notebook_sourceview.connect('update', self.__re_emit_update)

        self.terminal.connect("ejecucion", self.__set_ejecucion)
        self.terminal.connect("reset", self.detener_ejecucion)

        GLib.idle_add(self.terminal.hide)
Example #2
0
    def __init__(self, parent_window=None, dirpath=None, destino_path=None):

        Gtk.Dialog.__init__(self,
                            parent=parent_window,
                            title="Generador de Instaladores",
                            flags=Gtk.DialogFlags.MODAL,
                            buttons=["Cerrar", Gtk.ResponseType.ACCEPT])

        self.set_size_request(640, 480)
        self.set_border_width(15)

        self.destino_path = destino_path
        self.dirpath = dirpath

        from JAMediaTerminal.Terminal import Terminal
        self.terminal = Terminal()

        self.vbox.pack_start(self.terminal, True, True, 0)
        self.terminal.toolbar.hide()

        notebook = self.terminal.notebook
        cerrar = notebook.get_tab_label(
            notebook.get_children()[0]).get_children()[1]
        cerrar.set_sensitive(False)

        self.maximize()
        self.terminal.connect("reset", self.__end_make)

        GLib.idle_add(self.__run_gnome_install)
    def __init__(self):

        Gtk.Paned.__init__(self, orientation=Gtk.Orientation.VERTICAL)

        vbox = Gtk.Box(orientation=Gtk.Orientation.VERTICAL)

        self.base_notebook = BaseNotebook()
        self.jamedia_gstreamer = JAMediaGstreamer()

        vbox.pack_start(self.base_notebook, True, True, 0)
        vbox.pack_end(self.jamedia_gstreamer, True, True, 0)

        self.pack1(vbox, resize=True, shrink=False)

        self.terminal = Terminal()
        self.terminal.set_size_request(-1, 200)
        self.pack2(self.terminal, resize=False, shrink=False)

        self.show_all()

        self.connect("realize", self.__do_realize)