Commit ddf0287dbca7dddf07c33e21bdc6be7de65c61ff

Insert date and time function added, file save question in open file added.

Signed-off-by: Agustin Zubiaga <aguzubiaga97@gmail.com>


133	133	separator.set_draw(False)
134	134	separator.set_expand(True)
135	135	edit_toolbar.insert(separator, -1)
	136
	137	insert_datetime = gtk.ToolButton("insert-datetime")
	138	insert_datetime.connect("clicked", self.editor._insert_date_time)
	139	edit_toolbar.insert(insert_datetime, -1)
136	140
137	141	edit_toolbar.pep8_btn = ToolButton('pep8')
138	142	edit_toolbar.pep8_btn.connect("clicked", self.pep8_check)
…	…
255	255	activity.Activity.close(self)
256	256
257	257	def open_file(self, widget):
	258	self.save_file(None, type="exit")
258	259	file_path = file_choosers.open_file_dialog()
259	260	if file_path != None:
260	261	self.set_title(os.path.split(file_path)[-1])


22	22
23	23	import os
24	24	import sys
	25	import datetime
	26	import time
	27	import locale
25	28
26	29	import gtk
27	30	import gtksourceview2
…	…
185	185	def _get_all_text(self):
186	186	start = self.buffer.get_start_iter()
187	187	end = self.buffer.get_end_iter()
188		text = self.buffer.get_text(start, end, False)
	188	text = self.buffer.get_text(start, end, True)
189	189	return text
	190
	191	def _insert_date_time(self, widget):
	192	today = datetime.date.today()
	193	today = today.strftime("%d/%m/%y")
	194	_time = time.strftime("%H:%M:%S")
	195	zone = locale.getdefaultlocale()[0]
	196	date_time = str(today)+" "+_time+"-"+zone
	197	self.buffer.insert_at_cursor(date_time)
190	198
191	199	def _search_entry_activate_cb(self, entry):
192	200	self.set_search_text(entry.props.text)