Example #1
0
def updatePageTitle(w, status):
	page = getCurrentPage()
	f = page.get_data("file")
	l = page.get_data("label")
	if f != None:
		name = os.path.basename(f)
	else:
		name = _("Untitled")

	if (misc.bufferModified(w, f)):
		l.set_text("*"+name)
	else:
		l.set_text(name)
	srcview.updatePos(w, status)
Example #2
0
def destroyPage(w, b):
	f = b.get_data("file")
	buf = b.get_data("buffer")
	if misc.bufferModified(buf, f) is True:
		if f is None: f = _("Untitled")
		save = misc.createPopup(_("Save document"), mainwin, \
			_("Save changes to document \"%s\"\n before closing?") % os.path.basename(f))
		if save == gtk.RESPONSE_YES:
			if csave(None, False) is False:
				return False
		if save == gtk.RESPONSE_CANCEL or save == gtk.RESPONSE_DELETE_EVENT:
			return False
	nb.remove_page(nb.page_num(b))
	if nb.get_n_pages() < 1:
		createPage(nb)
	return True
Example #3
0
def updatePageTitle(w, status):
	page = getCurrentPage()
	f = page.get_data("file")
	l = page.get_data("label")
	if f != None:
		name = os.path.basename(f)
	else:
		name = _("Untitled")

	if (misc.bufferModified(w, f)):
		text  = "*" + name
	else:
		text = name

	l.set_text(text)
	mainwin.set_title(text+" - gnoduino")
	page.set_data("title", text+" - gnoduino")
	srcview.updatePos(w, status)
Example #4
0
def updatePageTitle(w, status):
    page = getCurrentPage()
    f = page.get_data("file")
    l = page.get_data("label")
    if f != None:
        name = os.path.basename(f)
    else:
        name = _("Untitled")

    if (misc.bufferModified(w, f)):
        text = "*" + name
    else:
        text = name

    l.set_text(text)
    mainwin.set_title(text + " - gnoduino")
    page.set_data("title", text + " - gnoduino")
    srcview.updatePos(w, status)
Example #5
0
def destroyPage(w, b):
    f = b.get_data("file")
    buf = b.get_data("buffer")
    if misc.bufferModified(buf, f) is True:
        if f is None: f = _("Untitled")
        save = misc.createPopup(_("Save document"), mainwin, \
         _("Save changes to document \"%s\"\n before closing?") % os.path.basename(f))
        if save == gtk.RESPONSE_YES:
            if csave(None, False) is False:
                return False
        if save == gtk.RESPONSE_CANCEL or save == gtk.RESPONSE_DELETE_EVENT:
            return False
    nb.remove_page(nb.page_num(b))
    if nb.get_n_pages() < 1:
        createPage(nb)
    else:
        mainwin.set_title(getCurrentPage().get_data("title"))
    return True
Example #6
0
def saveAs(js=False):
	page = getCurrentPage()
	buf = page.get_data("buffer")
	cur_file = page.get_data("file")
	if misc.bufferModified(buf, cur_file) is False and js is False:
		return
	p = gtk.FileChooserDialog(_("Save file"), None, gtk.FILE_CHOOSER_ACTION_SAVE,
		(gtk.STOCK_CANCEL, gtk.RESPONSE_REJECT,
		gtk.STOCK_OK, gtk.RESPONSE_ACCEPT))
	if cur_file is not None:
		p.set_filename(cur_file)
	else:
		p.set_current_name(_("Untitled"))
	p.set_default_size(450, 400)
	p.show_all()
	if p.run() == gtk.RESPONSE_ACCEPT:
		f = p.get_filename()
		p.destroy()
		return f
	p.destroy()
	return None
Example #7
0
def saveAs(js=False):
    page = getCurrentPage()
    buf = page.get_data("buffer")
    cur_file = page.get_data("file")
    if misc.bufferModified(buf, cur_file) is False and js is False:
        return
    p = gtk.FileChooserDialog(_("Save file"), None,
                              gtk.FILE_CHOOSER_ACTION_SAVE,
                              (gtk.STOCK_CANCEL, gtk.RESPONSE_REJECT,
                               gtk.STOCK_OK, gtk.RESPONSE_ACCEPT))
    if cur_file is not None:
        p.set_filename(cur_file)
    else:
        p.set_current_name(_("Untitled"))
    p.set_default_size(450, 400)
    p.show_all()
    if p.run() == gtk.RESPONSE_ACCEPT:
        f = p.get_filename()
        p.destroy()
        return f
    p.destroy()
    return None
Example #8
0
def butSave(widget, data=None):
	b = getCurrentPage()
	f = b.get_data("file")
	buf = b.get_data("buffer")
	if misc.bufferModified(buf, f) is True:
		csave(widget, False)
Example #9
0
def butSave(widget, data=None):
    b = getCurrentPage()
    f = b.get_data("file")
    buf = b.get_data("buffer")
    if misc.bufferModified(buf, f) is True:
        csave(widget, False)