Fix width of menu bar

[xboard.git] / gtk / xoptions.c

diff --git a/gtk/xoptions.c b/gtk/xoptions.c
index 2806fb0..6c77841 100644 (file)
--- a/gtk/xoptions.c
+++ b/gtk/xoptions.c
@@ -503,6 +503,8 @@ TypeInProc (GtkWidget *widget, GdkEventKey *event, gpointer gdata)
     shiftState = event->state & GDK_SHIFT_MASK;
     controlState = event->state & GDK_CONTROL_MASK;
     switch(event->keyval) {
+      case 'n':       return (controlState && IcsHist(14, opt, dlg));
+      case 'o':       return (controlState && IcsHist(15, opt, dlg));
       case GDK_Tab:   IcsHist(10, opt, dlg); break;
       case GDK_Up:     IcsHist(1, opt, dlg); break;
       case GDK_Down:  IcsHist(-1, opt, dlg); break;
@@ -659,15 +661,23 @@ MemoEvent(GtkWidget *widget, GdkEvent *event, gpointer gdata)
                ((ButtonCallback*) memo->target)(button == 1 ? memo->value : -memo->value);
                return TRUE;
            }
+           if(memo->value == 250 // kludge to recognize ICS Console and Chat panes
+            && gtk_text_buffer_get_selection_bounds(memo->handle, NULL, NULL) ) {
+printf("*** selected\n");
+               gtk_text_buffer_get_selection_bounds(memo->handle, &start, &end); // only return selected text
+               index = -1; // kludge to indicate omething was selected
+           } else {
 // GTK_TODO: is this really the most efficient way to get the character at the mouse cursor???
-           gtk_text_view_window_to_buffer_coords(GTK_TEXT_VIEW(widget), GTK_TEXT_WINDOW_WIDGET, w, h, &x, &y);
-           gtk_text_view_get_iter_at_location(GTK_TEXT_VIEW(widget), &start, x, y);
-           gtk_text_buffer_place_cursor(memo->handle, &start);
-           /* get cursor position into index */
-           g_object_get(memo->handle, "cursor-position", &index, NULL);
+               gtk_text_view_window_to_buffer_coords(GTK_TEXT_VIEW(widget), GTK_TEXT_WINDOW_WIDGET, w, h, &x, &y);
+               gtk_text_view_get_iter_at_location(GTK_TEXT_VIEW(widget), &start, x, y);
+               gtk_text_buffer_place_cursor(memo->handle, &start);
+               /* get cursor position into index */
+               g_object_get(memo->handle, "cursor-position", &index, NULL);
+               /* take complete contents */
+               gtk_text_buffer_get_start_iter (memo->handle, &start);
+               gtk_text_buffer_get_end_iter (memo->handle, &end);
+           }
            /* get text from textbuffer */
-           gtk_text_buffer_get_start_iter (memo->handle, &start);
-           gtk_text_buffer_get_end_iter (memo->handle, &end);
            val = gtk_text_buffer_get_text (memo->handle, &start, &end, FALSE);
            break;
        default:
@@ -1539,6 +1549,9 @@ if(appData.debugMode) printf("n=%d, h=%d, w=%d\n",n,height,width);
          case DropDown:
            top--;
            msg = _(option[i].name); // write name on the menu button
+#ifndef __APPLE__
+           if(tinyLayout) { strcpy(def, msg); def[tinyLayout] = NULLCHAR; msg = def; } // clip menu text to keep menu bar small
+#endif
 //         XtSetArg(args[j], XtNmenuName, XtNewString(option[i].name));  j++;
 //         XtSetArg(args[j], XtNlabel, msg);  j++;
            option[i].handle = (void*)