Develop and Download Open Source Software

Browse CVS Repository

Contents of /shiki/shiki/shiki.c

Parent Directory Parent Directory | Revision Log Revision Log | View Revision Graph Revision Graph


Revision 1.11 - (show annotations) (download) (as text)
Tue Nov 7 13:58:24 2006 UTC (17 years, 5 months ago) by aloha
Branch: MAIN
Changes since 1.10: +24 -4 lines
File MIME type: text/x-csrc
add about dialog

1 /* vim: set encoding=utf8:
2 *
3 * shiki.c
4 *
5 * Copyright(C)2006 WAKATSUKI toshihiro
6 *
7 * Permission is hereby granted, free of charge, to any person obtaining a
8 * copy of this software and associated documentation files (the "Software"),
9 * to deal in the Software without restriction, including without limitation
10 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
11 * and/or sell copies of the Software, and to permit persons to whom the
12 * Software is furnished to do so, subject to the following conditions:
13 *
14 * The above copyright notice and this permission notice shall be included in
15 * all copies or substantial portions of the Software.
16 *
17 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
20 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
21 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
23 * SOFTWARE.
24 *
25 * $Id: shiki.c,v 1.10 2006/11/05 16:32:55 aloha Exp $
26 */
27
28 #include<gauche.h>
29 #include<gtk/gtk.h>
30 #include<gdk/gdkkeysyms.h>
31
32 static gint editor_indent_width = 2;
33
34 static GtkWidget *editor_window;
35 static GtkScrolledWindow *current_tabpage;
36 static gint current_tabpage_num;
37 static const gchar *current_tabpage_label;
38 static GtkTextView *current_text_view;
39 static GtkTextBuffer *current_text_buffer;
40
41 static GtkWidget *statusbar;
42 static GtkWidget *modeline_label;
43
44 /* ������������������������������������������ */
45 static void about_this_application() {
46 GtkAboutDialog *about = GTK_ABOUT_DIALOG(gtk_about_dialog_new());
47 const gchar *authors[] = {
48 "������������ (���������) <alohakun@gmail.com>"
49 };
50 gtk_about_dialog_set_authors(about, authors);
51 gtk_about_dialog_set_copyright(about, "Copyright(C)2006 WAKATSUKI Toshihiro");
52 gtk_about_dialog_set_name(about, "��� (SHIKI)");
53 gtk_about_dialog_set_website_label(about, "���������30������������������������������������������������������������Blog");
54 gtk_about_dialog_set_website(about, "http://alohakun.blog7.fc2.com/blog-category-29.html");
55 gtk_dialog_run(GTK_DIALOG(about));
56 gtk_widget_destroy(GTK_WIDGET(about));
57 }
58
59 /* ��������������������������������������������������������������� */
60 static gint get_current_line_number(GtkTextBuffer *b) {
61 GtkTextIter p;
62 gtk_text_buffer_get_iter_at_mark(b, &p, gtk_text_buffer_get_insert(b));
63 return gtk_text_iter_get_line(&p) + 1;
64 }
65
66 /* ��������������������������������������������������������������� */
67 static void update_modeline_label() {
68 gchar* basename = g_path_get_basename(current_tabpage_label);
69 gchar* l = g_strdup_printf("-E:%s %-10s (Gauche Interaction)--L%d--------------------------------------",
70 gtk_text_buffer_get_modified(current_text_buffer) ? "**" : "--",
71 basename, get_current_line_number(current_text_buffer));
72 gtk_label_set_text(GTK_LABEL(modeline_label), l);
73 g_free(l); g_free(basename);
74 }
75
76 static void text_buffer_cursor_moved_handler(){
77 update_modeline_label();
78 }
79
80 /* ��������������������������������������������������������������� */
81 static gchar* get_all_buffer_contents(GtkTextBuffer *buffer) {
82 GtkTextIter start, end;
83 gtk_text_buffer_get_start_iter(buffer, &start);
84 gtk_text_buffer_get_end_iter(buffer, &end);
85 return gtk_text_buffer_get_text(buffer, &start, &end, FALSE);
86 }
87
88 /* buffer ������������������������ filename ��������� */
89 static gboolean save_text_buffer(const gchar *filename, GtkTextBuffer *buffer) {
90 gchar *contents, *text;
91 gsize br, bw;
92 GError *err = NULL;
93
94 if(!filename) return FALSE;
95 contents = get_all_buffer_contents(buffer);
96 text = g_locale_from_utf8(contents, -1, &br, &bw, &err);
97 /* ��������������������������������� */
98 g_file_set_contents(filename, text, -1, NULL);
99 gtk_text_buffer_set_modified(buffer, FALSE);
100 update_modeline_label();
101 g_free(contents); g_free(text);
102 return TRUE;
103 }
104
105 /* ������������������������������������������������������msg ������������������������������������ */
106 static gchar *get_filename_from_dialog(const gchar *msg) {
107
108 GtkWidget *dialog = gtk_file_selection_new(msg);
109 int resp = gtk_dialog_run(GTK_DIALOG(dialog));
110 gchar *filename = NULL;
111
112 /* gtk_file_selection_get_filename ������������������������������������������������������������������������������������������������������������������������������ */
113 if(resp == GTK_RESPONSE_OK)
114 filename = g_strdup(gtk_file_selection_get_filename(GTK_FILE_SELECTION(dialog)));
115
116 gtk_widget_destroy(dialog);
117 return filename;
118 }
119
120 /* ��������������������������������������������������������������������� */
121 static void save_file_from_notebook(GtkNotebook *notebook) {
122
123 /* ������������������������������������ */
124 if(!gtk_text_buffer_get_modified(current_text_buffer)) return;
125
126 /* ������������������������������������������������������������������������������������������������������ */
127 if(g_ascii_strcasecmp("*scratch*", current_tabpage_label) == 0) {
128 gchar *filename = get_filename_from_dialog("Save File As ...");
129 if(!filename) return;
130 if(!save_text_buffer(filename, current_text_buffer)) return;
131 gtk_notebook_set_tab_label_text(notebook, GTK_WIDGET(current_tabpage), filename);
132 gtk_window_set_title (GTK_WINDOW(editor_window), filename);
133 g_free(filename);
134 } else
135 save_text_buffer(current_tabpage_label, current_text_buffer);
136 }
137
138 /* ��������������������������������������������������� */
139 static void save_file_handler(GtkWidget *widget, GtkWidget *notebook) {
140 save_file_from_notebook(GTK_NOTEBOOK(notebook));
141 }
142
143 /* ��������������������������������������������������������������������������� */
144 static void save_file_as_from_notebook(GtkNotebook *notebook) {
145 gchar *filename = get_filename_from_dialog("Save File As ...");
146
147 if(!filename) return;
148 if(!save_text_buffer(filename, current_text_buffer)) return;
149
150 gtk_notebook_set_tab_label_text(notebook, GTK_WIDGET(current_tabpage), filename);
151 gtk_window_set_title (GTK_WINDOW (editor_window), filename);
152
153 g_free(filename);
154 }
155
156 /* ��������������������������������������������������������� */
157 static void save_file_as_handler(GtkWidget *widget, GtkWidget *notebook) {
158 save_file_as_from_notebook(GTK_NOTEBOOK(notebook));
159 }
160
161 /* YES ������������NO ������������������������������������ callback */
162 void really_quit_dialog_yes(GtkWidget *widget, gboolean *flag){*flag = FALSE;}
163 void really_quit_dialog_no(GtkWidget *widget, gint *flag){*flag = TRUE;}
164
165 /* ��������������������������������������������� ? */
166 gboolean not_yet_save_changes_really_quit(GtkTextBuffer *buffer) {
167 GtkWidget *yes_button, *no_button;
168 static GtkWidget *dialog_window = NULL;
169
170 /* ��������������������������������������� */
171 if(!gtk_text_buffer_get_modified(buffer)) return FALSE;
172
173 if(dialog_window == NULL) {
174 gboolean flag = TRUE;
175 dialog_window = gtk_dialog_new ();
176
177 /* ��������������������������������������������� ? ��������������������������� */
178 g_signal_connect(G_OBJECT(dialog_window), "delete_event", G_CALLBACK(gtk_false), NULL);
179 g_signal_connect(G_OBJECT(dialog_window), "destroy", G_CALLBACK(gtk_main_quit), NULL);
180 gtk_box_pack_start (GTK_BOX (GTK_DIALOG (dialog_window)->vbox),
181 gtk_label_new("������������������������������������������\n��������������������������������������� ?"), TRUE, TRUE, 0);
182 gtk_window_set_title(GTK_WINDOW (dialog_window), "Really Quit ?");
183 /* YES ������������ */
184 yes_button = gtk_button_new_with_mnemonic("������ (_Y)");
185 g_signal_connect(GTK_OBJECT(yes_button), "clicked", G_CALLBACK(really_quit_dialog_yes), &flag);
186 g_signal_connect_swapped(GTK_OBJECT(yes_button), "clicked", G_CALLBACK(gtk_widget_destroy), G_OBJECT(dialog_window));
187 gtk_box_pack_start(GTK_BOX(GTK_DIALOG(dialog_window)->action_area), yes_button, TRUE, TRUE, 0);
188
189 /* NO ������������ */
190 no_button = gtk_button_new_with_mnemonic("��������� (_N)");
191 g_signal_connect(GTK_OBJECT(no_button), "clicked", G_CALLBACK(really_quit_dialog_no), &flag);
192 g_signal_connect_swapped(GTK_OBJECT(no_button), "clicked", G_CALLBACK(gtk_widget_destroy), G_OBJECT(dialog_window));
193 gtk_box_pack_start(GTK_BOX(GTK_DIALOG(dialog_window)->action_area), no_button, TRUE, TRUE, 0);
194
195 gtk_window_set_modal(GTK_WINDOW(dialog_window), TRUE);
196 gtk_window_set_transient_for(GTK_WINDOW(dialog_window), GTK_WINDOW (editor_window));
197
198 gtk_widget_show_all(dialog_window);
199 gtk_main ();
200 dialog_window = NULL;
201
202 /* "delete_event" ��������������� FALSE ���������"destory" ������������������window ������������������ */
203 return flag;
204 }
205 return TRUE;
206 }
207
208 /* ������������������������������������������������������������������������������������������ */
209 gboolean delete_event_handler(GtkWidget *widget, GdkEvent *event, GtkWidget *buffer){
210 return not_yet_save_changes_really_quit(GTK_TEXT_BUFFER(buffer));
211 }
212
213 /* ������������������������������ */
214 static GtkWidget *new_scrolled_text_buffer() {
215
216 GtkWidget *scrolledwindow, *view;
217 GtkTextBuffer *buffer;
218
219 /* ������������������������������������ */
220 scrolledwindow = gtk_scrolled_window_new(NULL, NULL);
221 gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW(scrolledwindow), GTK_POLICY_AUTOMATIC, GTK_POLICY_AUTOMATIC);
222
223 /* ������������������������������������������������ */
224 view = gtk_text_view_new();
225 buffer = gtk_text_view_get_buffer(GTK_TEXT_VIEW(view));
226 gtk_container_add(GTK_CONTAINER(scrolledwindow), view);
227 g_signal_connect(G_OBJECT(editor_window), "delete_event", G_CALLBACK(delete_event_handler), buffer);
228 gtk_widget_set_size_request(GTK_WIDGET(view), 500, 700);
229 g_signal_connect(buffer, "mark_set", G_CALLBACK(text_buffer_cursor_moved_handler), view);
230 /* ������������������������ */
231 /* ������������������������������������������������ */
232 gtk_text_buffer_create_tag (buffer, "parent_emphasis_background", "background", "green", NULL);
233
234 return scrolledwindow;
235 }
236
237 /* ��������������������� */
238 static void open_file_from_notebook(GtkNotebook *notebook) {
239 gchar *contents, *text;
240 gsize br, bw, len;
241 GError *err = NULL;
242 gchar *filename = get_filename_from_dialog("File Selection");
243
244 if(!filename) return;
245
246 if(g_file_get_contents(filename, &contents, &len, NULL)) {
247 GtkTextBuffer *buffer;
248 GtkWidget *scrolledwindow;
249 GtkTextIter p;
250
251 /* ������������������������������ */
252 gtk_notebook_append_page(GTK_NOTEBOOK(notebook),
253 scrolledwindow = new_scrolled_text_buffer(),
254 gtk_label_new(filename));
255 buffer = gtk_text_view_get_buffer(GTK_TEXT_VIEW(gtk_bin_get_child(GTK_BIN(scrolledwindow))));
256
257 if(!(text = g_locale_to_utf8(contents, -1, &br, &bw, &err)))
258 gtk_text_buffer_set_text(buffer, contents, len);
259 else
260 gtk_text_buffer_set_text(buffer, text, len);
261
262 /* ������������������������ */
263 gtk_text_buffer_set_modified(buffer, FALSE);
264 /* ������������������������������ */
265 gtk_text_buffer_get_start_iter(buffer, &p);
266 gtk_text_buffer_place_cursor(buffer, &p);
267 update_modeline_label();
268 gtk_window_set_title (GTK_WINDOW (editor_window), filename);
269 gtk_widget_show_all(GTK_WIDGET(notebook));
270 g_free(contents); g_free(text); g_free(filename);
271 } else
272 g_printerr("Get file contents error !\n");
273 }
274
275 /* ��������������������������������������������� */
276 static void open_file_handler(GtkWidget *widget, GtkWidget *notebook) {
277 open_file_from_notebook(GTK_NOTEBOOK(notebook));
278 }
279
280 /* gauche ��������������������������������� */
281 static gchar *eval_cstring_by_gauche(gchar *s) {
282 gchar *msg;
283
284 ScmObj result, error;
285 /* ������������������������������ */
286 ScmObj os = Scm_MakeOutputStringPort(TRUE);
287
288 /* Scheme ��������������������������������������� */
289 /* http://alohakun.blog7.fc2.com/blog-entry-517.html */
290 Scm_Define(Scm_UserModule(), SCM_SYMBOL(SCM_INTERN("*input*")), SCM_MAKE_STR(s));
291 Scm_Define(Scm_UserModule(), SCM_SYMBOL(SCM_INTERN("*error*")), SCM_FALSE);
292
293 result = Scm_EvalCString("(guard (e (else (set! *error* e) #f)) (eval (read-from-string *input*) (current-module)))", SCM_OBJ(Scm_UserModule()));
294
295 error = Scm_GlobalVariableRef(Scm_UserModule(), SCM_SYMBOL(SCM_INTERN("*error*")), 0);
296
297 /* ��������������������������������������������������������� */
298 if (!SCM_FALSEP(error))
299 Scm_Write(error, os, SCM_WRITE_DISPLAY);
300 else
301 Scm_Write(result, os, SCM_WRITE_DISPLAY);
302
303 msg = Scm_GetString(SCM_STRING(Scm_GetOutputString(SCM_PORT(os))));
304 /* ������������������ */
305 Scm_ClosePort(SCM_PORT(os));
306
307 return msg;
308 }
309
310 /* ������������������������������������������������������������������������ S ������������ */
311 static void buffer_exec_handler(GtkWidget *widget, GtkWidget *notebook) {
312
313 GtkTextIter start, end, p;
314 gchar *code;
315 gtk_text_buffer_get_end_iter(current_text_buffer, &p);
316 gtk_text_buffer_insert(current_text_buffer, &p, "\n\n", -1);
317
318 /* ������������������������������������������������������������ */
319 if(gtk_text_buffer_get_selection_bounds(current_text_buffer, &start, &end)) {
320 code = gtk_text_buffer_get_text(current_text_buffer, &start, &end, FALSE);
321 gtk_text_buffer_insert(current_text_buffer, &p, eval_cstring_by_gauche(code), -1);
322 g_free(code);
323 }
324 }
325
326 // GtkTextCharPredicate
327 static gboolean is_kakko_or_kokka(gunichar ch, gpointer p) {
328 return ch == '(' || ch == ')';
329 }
330 static gboolean is_kokka(gunichar ch, gpointer p) {return ch == ')';}
331
332
333 /* ')' ��������������� '(' ������������������ (S ���) ��������������� */
334 static gboolean search_sexp_string(GtkTextIter *start) {
335 gint nest_level = 0;
336 /* ��������������������������������� S ������������������ */
337 while(1) {
338 if(!gtk_text_iter_backward_find_char(start, is_kakko_or_kokka, NULL, NULL))
339 return FALSE;
340
341 if(gtk_text_iter_get_char(start) == ')')
342 nest_level++;
343 else {
344 if(!nest_level)
345 break;
346 else
347 nest_level--;
348 }
349 }
350 return TRUE;
351 }
352
353 /* ������������������������������������������������ */
354 static gint get_parent_nest_level_at_cursor(GtkTextBuffer *buffer) {
355 gint nest_level = 0;
356 GtkTextIter start, end;
357 gtk_text_buffer_get_start_iter(buffer, &start);
358 if(gtk_text_iter_get_char(&start) == '(') nest_level++;
359
360 /* ��������������������� (= end) ��������� */
361 gtk_text_buffer_get_iter_at_mark(buffer,&end, gtk_text_buffer_get_insert(buffer));
362
363 while(1) {
364 /* end ������ '(' ��� ')' ��������������������������������������������� */
365 if(!gtk_text_iter_forward_find_char(&start, is_kakko_or_kokka, NULL, &end))
366 return nest_level;
367
368 if(gtk_text_iter_get_char(&start) == '(')
369 nest_level++;
370 else
371 nest_level--;
372 }
373 }
374
375 /* ������������������������������������������������������������ */
376 static void switch_page(GtkNotebook *notebook, GtkNotebookPage *page, guint pagenum, gpointer p) {
377
378 /* ������������������������������������������������������������ */
379 current_tabpage = GTK_SCROLLED_WINDOW(gtk_notebook_get_nth_page(notebook, pagenum));
380 current_tabpage_num = pagenum;
381 /* GtkBin ������������������������������������������������������������ */
382 current_text_view = GTK_TEXT_VIEW(gtk_bin_get_child(GTK_BIN(current_tabpage)));
383 current_text_buffer = gtk_text_view_get_buffer(current_text_view);
384
385 /* ������������������������������������������������������ */
386 gtk_window_set_title (GTK_WINDOW(editor_window), current_tabpage_label = gtk_notebook_get_tab_label_text(notebook, GTK_WIDGET(current_tabpage)));
387
388 update_modeline_label();
389 }
390
391 /* ��������������������������������� on/off */
392 static void tabsborder_on_off(GtkButton *button, GtkNotebook *notebook) {
393 gint tval = FALSE;
394 gint bval = FALSE;
395 if(notebook->show_tabs == FALSE)
396 tval = TRUE;
397 if(notebook->show_border == FALSE)
398 bval = TRUE;
399
400 gtk_notebook_set_show_tabs(notebook, tval);
401 gtk_notebook_set_show_border(notebook, bval);
402 }
403
404 /* ������������������������������������������ */
405 static void remove_tabpage(GtkNotebook *notebook) {
406 if(!not_yet_save_changes_really_quit(current_text_buffer)) {
407 gtk_notebook_remove_page(notebook, current_tabpage_num);
408 /* ��������������������������������������� */
409 gtk_widget_queue_draw(GTK_WIDGET(notebook));
410 }
411 }
412
413 static void remove_tabpage_handler(GtkButton *button, GtkWidget *notebook) {
414 remove_tabpage(GTK_NOTEBOOK(notebook));
415 }
416
417 /* ������������������������������������������������ */
418 static void append_tabpage(GtkButton *button, GtkNotebook *notebook) {
419 gtk_notebook_append_page(notebook, new_scrolled_text_buffer(), gtk_label_new("*scratch*"));
420 gtk_widget_show_all(GTK_WIDGET(notebook));
421 }
422
423 /* ������������������������ */
424 static void rotate_tab_position(GtkButton *button, GtkNotebook *notebook ) {
425 gtk_notebook_set_tab_pos(notebook, (notebook->tab_pos + 1) % 4);
426 }
427
428 /* ������������������������������������������ */
429
430 /* ��������������������� ^npfb */
431 static void forward_current_buffer() {
432 GtkTextIter p;
433 gtk_text_buffer_get_iter_at_mark(current_text_buffer,&p, gtk_text_buffer_get_insert(current_text_buffer));
434 gtk_text_iter_forward_char(&p);
435 gtk_text_buffer_place_cursor(current_text_buffer, &p);
436 }
437 static void backward_current_buffer() {
438 GtkTextIter p;
439 gtk_text_buffer_get_iter_at_mark(current_text_buffer,&p, gtk_text_buffer_get_insert(current_text_buffer));
440 gtk_text_iter_backward_char(&p);
441 gtk_text_buffer_place_cursor(current_text_buffer, &p);
442 }
443 static void line_forward_current_buffer() {
444 GtkTextIter p;
445 gtk_text_buffer_get_iter_at_mark(current_text_buffer, &p, gtk_text_buffer_get_insert(current_text_buffer));
446 gtk_text_view_forward_display_line(current_text_view, &p);
447 gtk_text_buffer_place_cursor(current_text_buffer, &p);
448 }
449 static void line_backward_current_buffer() {
450 GtkTextIter p;
451 gtk_text_buffer_get_iter_at_mark(current_text_buffer,&p, gtk_text_buffer_get_insert(current_text_buffer));
452 gtk_text_view_backward_display_line(current_text_view, &p);
453 gtk_text_buffer_place_cursor(current_text_buffer, &p);
454 }
455
456 /* ��������������������� */
457 static gboolean signal_key_press_handler (GtkWidget *notebook, GdkEventKey *event, gpointer contextid) {
458 GtkTextIter start, end;
459
460 /* ������������������������������������ */
461 gtk_text_buffer_get_start_iter(current_text_buffer, &start);
462 gtk_text_buffer_get_end_iter(current_text_buffer, &end);
463 gtk_text_buffer_remove_tag_by_name(current_text_buffer, "parent_emphasis_background", &start, &end);
464
465 if(event->state & GDK_CONTROL_MASK) {
466 switch(event->keyval) {
467 case GDK_f : /* Ctrl + f : forward */
468 forward_current_buffer();
469 break;
470 case GDK_b : /* Ctrl + b : backward */
471 backward_current_buffer();
472 break;
473 case GDK_n : /* Ctrl + n : next line */
474 line_forward_current_buffer();
475 break;
476 case GDK_p : /* Ctrl + p : previous line */
477 line_backward_current_buffer();
478 break;
479
480 case GDK_j : /* Ctrl + j : ��������������������� S ������������ */
481 {
482 gchar *code;
483 GtkTextIter start, end;
484
485 /* ������������������������������ */
486 gtk_text_buffer_get_iter_at_mark(current_text_buffer, &end, gtk_text_buffer_get_insert(current_text_buffer));
487
488 gtk_text_iter_backward_find_char(&end, is_kokka, NULL, NULL);
489 start = end;
490 gtk_text_iter_forward_char(&end);
491
492 /* ��������������������������������� S ������������������ */
493 if(!search_sexp_string(&start)) return FALSE;
494
495 code = gtk_text_buffer_get_text(current_text_buffer, &start, &end, FALSE);
496 gtk_text_buffer_insert(current_text_buffer, &end, "\n\n", -1);
497 gtk_text_buffer_insert(current_text_buffer, &end, eval_cstring_by_gauche(code), -1);
498 g_free(code);
499 }
500 break;
501
502 case GDK_t : /* Ctrl + t : ��������������� */
503 gtk_notebook_append_page(GTK_NOTEBOOK(notebook), new_scrolled_text_buffer(), gtk_label_new("*scratch*"));
504 gtk_widget_show_all(GTK_WIDGET(notebook));
505 break;
506
507 case GDK_k : /* Ctrl + k : ������������������ */
508 remove_tabpage(GTK_NOTEBOOK(notebook));
509 break;
510 }
511 }
512 return FALSE;
513 }
514
515 /* ��������������������� */
516 static gboolean signal_key_release_handler (GtkWidget *notebook, GdkEventKey *event, gpointer contextid) {
517 static gint metakey_pressed = 0;
518 static gint controlx_pressed = 0;
519
520 if(event->keyval == GDK_parenright && event->state & GDK_SHIFT_MASK) {
521 GtkTextIter start, end;
522
523 /* ������������������������������ */
524 gtk_text_buffer_get_iter_at_mark(current_text_buffer, &end, gtk_text_buffer_get_insert(current_text_buffer));
525
526 start = end;
527 gtk_text_iter_backward_char(&start);
528
529 /* ��������������������������������� S ������������������ */
530 if(!search_sexp_string(&start)) return FALSE;
531
532 gtk_text_buffer_apply_tag_by_name(current_text_buffer, "parent_emphasis_background", &start, &end);
533 }
534
535 /* ������������������������������������������������������������������������������������������������ (���������������) ������������������ */
536 if(event->keyval == GDK_Return) {
537 gint indentWidth = get_parent_nest_level_at_cursor(current_text_buffer) * editor_indent_width;
538 gchar *indent = g_strnfill(indentWidth, ' ');
539 gtk_text_buffer_insert_at_cursor(current_text_buffer, indent, -1);
540 g_free(indent);
541 }
542
543 /* C-x */
544 if(event->keyval == GDK_x && event->state & GDK_CONTROL_MASK) {
545 controlx_pressed++;
546 gtk_statusbar_push(GTK_STATUSBAR(statusbar), GPOINTER_TO_INT(contextid), "C-x -");
547 } else if(event->state & GDK_CONTROL_MASK) {
548
549 if(controlx_pressed > 0) {
550 switch(event->keyval) {
551 case GDK_c :/* C-x C-c : ������ */
552 gtk_statusbar_push(GTK_STATUSBAR(statusbar), GPOINTER_TO_INT(contextid), "C-c");
553 {/* "delete-event" ��������������������������������������� �� ������������������������������������ */
554 GdkEvent ev;
555
556 ev.any.type = GDK_DELETE;
557 ev.any.window = editor_window->window;
558 ev.any.send_event = FALSE;
559 gdk_event_put (&ev);
560 }
561 break;
562
563 case GDK_f : /* C-x C-f : ������������������ */
564 gtk_statusbar_push(GTK_STATUSBAR(statusbar), GPOINTER_TO_INT(contextid), "C-f");
565 open_file_from_notebook(GTK_NOTEBOOK(notebook));
566 break;
567
568 case GDK_s : /* C-x C-s : ������������������ */
569 gtk_statusbar_push(GTK_STATUSBAR(statusbar), GPOINTER_TO_INT(contextid), "C-s");
570 save_file_from_notebook(GTK_NOTEBOOK(notebook));
571 break;
572
573 case GDK_w : /* C-x C-w : ������������������������ */
574 gtk_statusbar_push(GTK_STATUSBAR(statusbar), GPOINTER_TO_INT(contextid), "C-w");
575 save_file_as_from_notebook(GTK_NOTEBOOK(notebook));
576 break;
577 }
578 controlx_pressed = 0;
579 }
580
581 switch(event->keyval) {
582 case GDK_g :/* C-g : ��������������� */
583 metakey_pressed = 0;
584 controlx_pressed = 0;
585
586 gtk_statusbar_push(GTK_STATUSBAR(statusbar), GPOINTER_TO_INT(contextid), "Quit");
587 break;
588 }
589
590 }
591 return FALSE;
592 }
593
594 /* ��������������������������������������� */
595 static void editor_window_init() {
596 GtkWidget *vbox, *toolbar, *notebook;
597 GtkToolItem *icon;
598 GtkIconSize iconsize;
599 GtkTooltips *toolbar_tips = gtk_tooltips_new();
600 /* ��������������������������������������������������������������������������������� */
601 GtkToolItem *oicon, *sicon, *saicon, *eicon;
602
603 gint contextid;
604
605 /* ������������ */
606 editor_window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
607 g_signal_connect(G_OBJECT(editor_window), "destroy", G_CALLBACK(gtk_main_quit), NULL);
608
609 /* ������������������������������������ */
610 vbox = gtk_vbox_new(FALSE, 0);
611 /* ��������������������� */
612 toolbar = gtk_toolbar_new();
613 gtk_box_pack_start(GTK_BOX(vbox), toolbar, FALSE, FALSE, 0);
614
615 notebook = gtk_notebook_new();
616 g_signal_connect(G_OBJECT(notebook), "switch-page", GTK_SIGNAL_FUNC(switch_page), NULL);
617
618 /* ������������������������������������������������ */
619 gtk_toolbar_set_style(GTK_TOOLBAR (toolbar), GTK_TOOLBAR_ICONS);
620 iconsize = gtk_toolbar_get_icon_size (GTK_TOOLBAR (toolbar));
621
622 /* ������������������ */
623
624 /* ������������������ */
625 oicon = gtk_tool_button_new(gtk_image_new_from_stock ("gtk-open", iconsize), "");
626 /* ������������������������������������������������������������������������������������ */
627 g_signal_connect(G_OBJECT(oicon), "clicked", G_CALLBACK(open_file_handler), G_OBJECT(notebook));
628 gtk_container_add(GTK_CONTAINER (toolbar), GTK_WIDGET(oicon));
629 gtk_tool_item_set_tooltip(oicon, toolbar_tips, "���������������������������",
630 "���������������������������������������������������������������������������������������");
631
632 /* ������������������ */
633 sicon = gtk_tool_button_new(gtk_image_new_from_stock ("gtk-save", iconsize), "");
634 /* ������������������������������������������������������������������������������������ */
635 g_signal_connect(G_OBJECT(sicon), "clicked", G_CALLBACK(save_file_handler), G_OBJECT(notebook));
636 gtk_container_add (GTK_CONTAINER (toolbar), GTK_WIDGET(sicon));
637 gtk_tool_item_set_tooltip(sicon, toolbar_tips, "������������������������������",
638 "������������������������������������������������������������������������������������������������������������������������������������");
639
640 /* ��������������������������� */
641 saicon = gtk_tool_button_new(gtk_image_new_from_stock ("gtk-save-as", iconsize), "");
642 /* ������������������������������������������������������������������������������������������������������������������ */
643 g_signal_connect(G_OBJECT(saicon), "clicked", G_CALLBACK(save_file_as_handler), G_OBJECT(notebook));
644 gtk_container_add (GTK_CONTAINER (toolbar), GTK_WIDGET(saicon));
645 gtk_tool_item_set_tooltip(saicon, toolbar_tips, "������������������������������������",
646 "");
647
648 /* ������������������ */
649 eicon = gtk_tool_button_new(gtk_image_new_from_stock ("gtk-execute", iconsize), "");
650 /* ��������������������������������� libgauche ������������������ */
651 g_signal_connect(G_OBJECT(eicon), "clicked", G_CALLBACK(buffer_exec_handler), G_OBJECT(notebook));
652 gtk_container_add (GTK_CONTAINER (toolbar), GTK_WIDGET(eicon));
653 gtk_tool_item_set_tooltip(eicon, toolbar_tips, "��������������� S ���������������������",
654 "Scheme (gauche) ������������������ S ������������������������");
655
656 gtk_container_add(GTK_CONTAINER(editor_window), vbox);
657 gtk_container_add(GTK_CONTAINER(vbox), notebook);
658
659 icon = gtk_tool_button_new(gtk_image_new_from_stock ("gtk-apply", iconsize), "append");
660 g_signal_connect(G_OBJECT(icon), "clicked", G_CALLBACK(tabsborder_on_off), G_OBJECT(notebook));
661 gtk_container_add(GTK_CONTAINER (toolbar), GTK_WIDGET(icon));
662 gtk_tool_item_set_tooltip(icon, toolbar_tips, "��������� on/off", "");
663
664 icon = gtk_tool_button_new(gtk_image_new_from_stock ("gtk-preferences", iconsize), "append");
665 g_signal_connect(G_OBJECT(icon), "clicked", G_CALLBACK(rotate_tab_position), G_OBJECT( notebook));
666 gtk_container_add(GTK_CONTAINER (toolbar), GTK_WIDGET(icon));
667 gtk_tool_item_set_tooltip(icon, toolbar_tips, "������������������������", "");
668
669 icon = gtk_tool_button_new(gtk_image_new_from_stock ("gtk-add", iconsize), "append");
670 g_signal_connect(G_OBJECT(icon), "clicked", G_CALLBACK(append_tabpage), G_OBJECT( notebook));
671 gtk_container_add(GTK_CONTAINER (toolbar), GTK_WIDGET(icon));
672 gtk_tool_item_set_tooltip(icon, toolbar_tips, "���������������������������������", "");
673
674 icon = gtk_tool_button_new(gtk_image_new_from_stock ("gtk-close", iconsize), "remove");
675 g_signal_connect(G_OBJECT(icon), "clicked", G_CALLBACK(remove_tabpage_handler), G_OBJECT( notebook));
676 gtk_container_add(GTK_CONTAINER (toolbar), GTK_WIDGET(icon));
677 gtk_tool_item_set_tooltip(icon, toolbar_tips, "���������������������������",
678 "���������������������������������������������������������������");
679
680 icon = gtk_tool_button_new(gtk_image_new_from_stock ("gtk-dialog-info", iconsize), "append");
681 g_signal_connect(G_OBJECT(icon), "clicked", G_CALLBACK(about_this_application), NULL);
682 gtk_container_add(GTK_CONTAINER (toolbar), GTK_WIDGET(icon));
683 gtk_tool_item_set_tooltip(icon, toolbar_tips, "������������������������������������������", "");
684
685 gtk_box_pack_start(GTK_BOX(vbox), modeline_label = gtk_label_new("-E:** *scratch* (Gauche Interaction)--L1--All---------------------------------"), TRUE, TRUE, 0);
686
687 /* C-x C-s ��������������������������������������������������������������������������������������� */
688 statusbar = gtk_statusbar_new();
689 gtk_box_pack_start(GTK_BOX(vbox), statusbar, TRUE, TRUE, 0);
690 contextid = gtk_statusbar_get_context_id(GTK_STATUSBAR(statusbar), "");
691
692 /* ������������������������������������������������ */
693 g_signal_connect(G_OBJECT(notebook), "key-press-event", G_CALLBACK (signal_key_press_handler), GINT_TO_POINTER(contextid));
694 g_signal_connect(G_OBJECT(notebook), "key-release-event", G_CALLBACK (signal_key_release_handler), GINT_TO_POINTER(contextid));
695
696 /* ������������������������������������ */
697 gtk_notebook_prepend_page(GTK_NOTEBOOK(notebook), new_scrolled_text_buffer(), gtk_label_new("*scratch*"));
698
699 gtk_widget_grab_focus(notebook);
700 gtk_widget_show_all(editor_window);
701 }
702
703 int main(int argc, char *argv[]) {
704 /* ������������������������������������ */
705 gtk_set_locale();
706 gtk_init(&argc, &argv);
707 GC_INIT(); Scm_Init(GAUCHE_SIGNATURE);
708 editor_window_init();
709 gtk_main();
710 Scm_Exit(0);
711 return 0;
712 }

Back to OSDN">Back to OSDN
ViewVC Help
Powered by ViewVC 1.1.26