1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
|
'''A simple text editor for Sugar
Written mostly by Nate Theis
Some GTK code borrowed from Pippy
'''
from groupthink import sugar_tools, gtk_tools
from gettext import gettext as _
import gtk
import pango
import time
import gtksourceview2 as gtksourceview
from sugar.activity import activity
try: # Can use 'New' toolbar design?
from sugar.graphics.toolbarbox import ToolbarBox
_HAVE_TOOLBOX = True
except ImportError:
_HAVE_TOOLBOX = False
if _HAVE_TOOLBOX:
from sugar.activity.widgets import ActivityToolbarButton, StopButton
from sugar.graphics.toolbarbox import ToolbarButton
from sugar.graphics import style
from sugar.activity.activity import EditToolbar
import mdnames
class EditActivity(sugar_tools.GroupActivity):
'''A text editor for Sugar
pylint says I need a docstring. Here you go.
'''
message_preparing = _("Loading...")
message_joining = _("Joining shared activity...")
message_loading = _("Reading journal entry...")
def checkts(self):
'''Check the timestamp
If someone's modified our file in an external editor,
we should reload the contents
'''
mtime = self.metadata[mdnames.sugartimestamp_md]
etime = self.metadata[mdnames.cloudtimestamp_md]
return mtime > etime
def __init__(self, handle):
'''We want to set up the buffer et al. early on
sure there's early_setup, but that's not early enough
'''
self.buffer = gtksourceview.Buffer()
self.refresh_buffer = False
self.text_view = gtksourceview.View(self.buffer)
self.scrollwindow = gtk.ScrolledWindow()
self.scrollwindow.add(self.text_view)
sugar_tools.GroupActivity.__init__(self, handle)
def fix_mimetype(self):
'''We must have a mimetype. Sometimes, we don't (when we get launched
newly.) This fixes that.'''
if self.metadata[mdnames.mimetype_md] == '':
self.metadata[mdnames.mimetype_md] = "text/plain"
#we MUST have a mimetype
def setup_toolbar(self):
'''Setup the top toolbar. Groupthink needs some work here.'''
if _HAVE_TOOLBOX: # 'New' Sugar toolbar design
toolbox = ToolbarBox()
activity_button = ActivityToolbarButton(self)
toolbox.toolbar.insert(activity_button, 0)
activity_button.show()
self.set_toolbar_box(toolbox)
toolbox.show()
toolbar = toolbox.toolbar
self.edit_toolbar = EditToolbar()
edit_toolbar_button = ToolbarButton(
page=self.edit_toolbar,
icon_name='toolbar-edit')
self.edit_toolbar.show()
toolbar.insert(edit_toolbar_button, -1)
edit_toolbar_button.show()
else: # 'Old' Sugar toolbar design
self.edit_toolbar = EditToolbar()
toolbox = activity.ActivityToolbox(self)
self.set_toolbox(toolbox)
toolbox.add_toolbar(_('Edit'), self.edit_toolbar)
toolbox.show()
toolbox.set_current_toolbar(1)
toolbar = self.edit_toolbar
self.edit_toolbar.undo.connect('clicked', self.undobutton_cb)
self.edit_toolbar.redo.connect('clicked', self.redobutton_cb)
self.edit_toolbar.copy.connect('clicked', self.copybutton_cb)
self.edit_toolbar.paste.connect('clicked', self.pastebutton_cb)
if _HAVE_TOOLBOX:
separator = gtk.SeparatorToolItem()
separator.props.draw = False
separator.set_expand(True)
toolbar.insert(separator, -1)
separator.show()
stop_button = StopButton(self)
stop_button.props.accelerator = '<Ctrl>q'
toolbox.toolbar.insert(stop_button, -1)
stop_button.show()
def initialize_display(self):
'''Set up GTK and friends'''
self.fix_mimetype()
self.cloud.shared_buffer = gtk_tools.TextBufferSharePoint(self.buffer)
self.setup_toolbar()
#Some graphics code borrowed from Pippy
lang_manager = gtksourceview.language_manager_get_default()
if hasattr(lang_manager, 'list_languages'):
langs = lang_manager.list_languages()
else:
lang_ids = lang_manager.get_language_ids()
langs = [lang_manager.get_language(lang_id) \
for lang_id in lang_ids]
for lang in langs:
for mtype in lang.get_mime_types():
if mtype == self.metadata[mdnames.mimetype_md]:
self.buffer.set_language(lang)
break
self.text_view.set_editable(True)
self.text_view.set_cursor_visible(True)
if self.metadata[mdnames.mimetype_md] == "text/plain":
self.text_view.set_show_line_numbers(False)
self.text_view.set_wrap_mode(gtk.WRAP_WORD)
font = pango.FontDescription("Bitstream Vera Sans " +
str(style.FONT_SIZE))
else:
if hasattr(self.buffer, 'set_highlight'):
self.buffer.set_highlight(True)
else:
self.buffer.set_highlight_syntax(True)
self.text_view.set_show_line_numbers(True)
self.text_view.set_wrap_mode(gtk.WRAP_CHAR)
self.text_view.set_insert_spaces_instead_of_tabs(True)
self.text_view.set_tab_width(2)
self.text_view.set_auto_indent(True)
font = pango.FontDescription("Monospace " +
str(style.FONT_SIZE))
self.text_view.modify_font(font)
if self.refresh_buffer:
#see load_from_journal()
self.buffer.begin_not_undoable_action()
self.buffer.set_text(self.refresh_buffer)
self.buffer.end_not_undoable_action()
self.text_view.show()
#Return the main widget. our parents take care of GTK stuff
return self.scrollwindow
def save_to_journal(self, filename, cloudstring):
'''Saves to the journal.
We use metadata magic to keep the collab. stuff'''
self.metadata[mdnames.cloudstring_md] = cloudstring
#Also write to file:
fhandle = open(filename, "w")
bounds = self.buffer.get_bounds()
text = self.buffer.get_text(bounds[0], bounds[1])
fhandle.write(text)
fhandle.close()
self.fix_mimetype()
#We can do full-text search on all Edit documents, yay
self.metadata[mdnames.contents_md] = text
#If we edit the file in another way, we need to reload the contents
#we fudge the timestamp forwards by 5 seconds
#mmmm, fudge
self.metadata[mdnames.cloudtimestamp_md] = time.clock() + 5
def load_from_journal(self, filename):
'''Load the file. Duh.'''
if mdnames.cloudstring_md in self.metadata:
if self.checkts():
#if we were edited in another program
#we need to reload the text
#setting self.refresh_buffer makes us do that
text = open(filename, "r").read() # yay hackish one-line read
self.refresh_buffer = text
#File has been saved with Edit, thus
#load the fancy collaboration data
#instead of just the text
return self.metadata[mdnames.cloudstring_md]
else:
text = open(filename, "r").read() # yay hackish one-line read
self.buffer.set_text(text)
return None
def when_shared(self):
self._edit_toolbar.undo.set_sensitive(False)
self._edit_toolbar.redo.set_sensitive(False)
def undobutton_cb(self, button):
if self.buffer.can_undo():
self.buffer.undo()
def redobutton_cb(self, button):
global text_buffer
if self.buffer.can_redo():
self.buffer.redo()
def copybutton_cb(self, button):
self.buffer.copy_clipboard(gtk.Clipboard())
def pastebutton_cb(self, button):
self.buffer.paste_clipboard(gtk.Clipboard(), None, True)
|
