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

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