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.13 - (show annotations) (download) (as text)
Sat Nov 11 04:05:06 2006 UTC (17 years, 5 months ago) by aloha
Branch: MAIN
Changes since 1.12: +34 -3 lines
File MIME type: text/x-csrc
add gchar *load_cstring_by_gauche(gchar *);

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

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