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.9 - (show annotations) (download) (as text)
Sat Nov 4 08:47:03 2006 UTC (17 years, 5 months ago) by aloha
Branch: MAIN
Changes since 1.8: +3 -1 lines
File MIME type: text/x-csrc
add more emacs like feature such as minibuf (but HARIBOTE ... currentry)

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

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