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