Search
lxdream.org :: lxdream/src/gtkui/main_win.c
lxdream 0.9.1
released Jun 29
Download Now
filename src/gtkui/main_win.c
changeset 671:a530ea88eebd
prev669:ab344e42bca9
next736:a02d1475ccfd
author nkeynes
date Thu May 15 10:22:39 2008 +0000 (15 years ago)
permissions -rw-r--r--
last change Permanently add SH4 instruction statistics tracking (enabled with --enable-sh4stats)
file annotate diff log raw
nkeynes@435
     1
/**
nkeynes@561
     2
 * $Id$
nkeynes@435
     3
 *
nkeynes@435
     4
 * Define the main (emu) GTK window, along with its menubars,
nkeynes@435
     5
 * toolbars, etc.
nkeynes@435
     6
 *
nkeynes@435
     7
 * Copyright (c) 2005 Nathan Keynes.
nkeynes@435
     8
 *
nkeynes@435
     9
 * This program is free software; you can redistribute it and/or modify
nkeynes@435
    10
 * it under the terms of the GNU General Public License as published by
nkeynes@435
    11
 * the Free Software Foundation; either version 2 of the License, or
nkeynes@435
    12
 * (at your option) any later version.
nkeynes@435
    13
 *
nkeynes@435
    14
 * This program is distributed in the hope that it will be useful,
nkeynes@435
    15
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
nkeynes@435
    16
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
nkeynes@435
    17
 * GNU General Public License for more details.
nkeynes@435
    18
 */
nkeynes@435
    19
nkeynes@435
    20
#include <assert.h>
nkeynes@435
    21
#include <sys/types.h>
nkeynes@435
    22
#include <sys/stat.h>
nkeynes@435
    23
#include <unistd.h>
nkeynes@435
    24
#include <string.h>
nkeynes@435
    25
#include <stdio.h>
nkeynes@435
    26
#include <stdlib.h>
nkeynes@435
    27
nkeynes@435
    28
#include <gtk/gtk.h>
nkeynes@608
    29
#include <gdk/gdk.h>
nkeynes@608
    30
#include <gdk/gdkkeysyms.h>
nkeynes@545
    31
#include <X11/Xutil.h>
nkeynes@435
    32
nkeynes@658
    33
#include "lxdream.h"
nkeynes@669
    34
#include "dreamcast.h"
nkeynes@669
    35
#include "display.h"
nkeynes@537
    36
#include "gtkui/gtkui.h"
nkeynes@658
    37
nkeynes@435
    38
nkeynes@435
    39
struct main_window_info {
nkeynes@435
    40
    GtkWidget *window;
nkeynes@435
    41
    GtkWidget *video;
nkeynes@486
    42
    GtkWidget *menubar;
nkeynes@486
    43
    GtkWidget *toolbar;
nkeynes@435
    44
    GtkWidget *statusbar;
nkeynes@435
    45
    GtkActionGroup *actions;
nkeynes@608
    46
    gboolean use_grab;
nkeynes@608
    47
    gboolean is_grabbed;
nkeynes@608
    48
    int32_t mouse_x, mouse_y;
nkeynes@435
    49
};
nkeynes@435
    50
nkeynes@608
    51
nkeynes@608
    52
/******************** Video window **************************/
nkeynes@608
    53
nkeynes@608
    54
/**
nkeynes@608
    55
 * Adjust the mouse pointer so that it appears in the center of the video
nkeynes@608
    56
 * window. Mainly used for when we have the mouse grab
nkeynes@608
    57
 */
nkeynes@608
    58
void video_window_center_pointer( main_window_t win )
nkeynes@608
    59
{
nkeynes@608
    60
    GdkDisplay *display = gtk_widget_get_display(win->video);
nkeynes@608
    61
    GdkScreen *screen = gtk_widget_get_screen(win->video);
nkeynes@608
    62
    int x,y;
nkeynes@608
    63
    int width, height;
nkeynes@608
    64
nkeynes@608
    65
    gdk_window_get_origin(win->video->window, &x, &y);
nkeynes@608
    66
    gdk_drawable_get_size(GDK_DRAWABLE(win->video->window), &width, &height);
nkeynes@608
    67
    x += width / 2;
nkeynes@608
    68
    y += height / 2;
nkeynes@608
    69
    
nkeynes@608
    70
    gdk_display_warp_pointer( display, screen, x, y );
nkeynes@608
    71
    win->mouse_x = width/2;
nkeynes@608
    72
    win->mouse_y = height/2;
nkeynes@608
    73
}
nkeynes@608
    74
nkeynes@608
    75
/**
nkeynes@608
    76
 * Grab the keyboard and mouse for the display. The mouse cursor is hidden and
nkeynes@608
    77
 * moved to the centre of the window.
nkeynes@608
    78
 *
nkeynes@608
    79
 * @param win The window receiving the grab
nkeynes@608
    80
 * @return TRUE if the grab was successful, FALSE on failure.
nkeynes@608
    81
 */
nkeynes@608
    82
gboolean video_window_grab_display( main_window_t win )
nkeynes@608
    83
{
nkeynes@608
    84
    GdkWindow *gdkwin = win->video->window;
nkeynes@608
    85
    GdkColor color = { 0,0,0,0 };
nkeynes@608
    86
    char bytes[32]; /* 16 * 16 / 8 */
nkeynes@608
    87
    memset(bytes, 0, 32);
nkeynes@608
    88
    GdkPixmap *pixmap = gdk_bitmap_create_from_data(NULL, bytes, 16, 16);
nkeynes@608
    89
    GdkCursor *cursor = gdk_cursor_new_from_pixmap(pixmap, pixmap, &color, &color, 16, 16);
nkeynes@608
    90
    gdk_pixmap_unref(pixmap);
nkeynes@608
    91
nkeynes@608
    92
    gboolean success =
nkeynes@608
    93
	gdk_pointer_grab( gdkwin, FALSE, 
nkeynes@608
    94
			  GDK_POINTER_MOTION_MASK|GDK_BUTTON_PRESS_MASK|GDK_BUTTON_RELEASE_MASK, 
nkeynes@608
    95
			  gdkwin, cursor, GDK_CURRENT_TIME ) == GDK_GRAB_SUCCESS;
nkeynes@608
    96
    gdk_cursor_unref(cursor);
nkeynes@608
    97
    if( success ) {
nkeynes@608
    98
	success = gdk_keyboard_grab( gdkwin, FALSE, GDK_CURRENT_TIME ) == GDK_GRAB_SUCCESS;
nkeynes@608
    99
	if( !success ) {
nkeynes@608
   100
	    gdk_pointer_ungrab(GDK_CURRENT_TIME);
nkeynes@608
   101
	}
nkeynes@608
   102
    }
nkeynes@608
   103
    win->is_grabbed = success;
nkeynes@608
   104
    main_window_set_running(win, dreamcast_is_running());
nkeynes@608
   105
    return success;
nkeynes@608
   106
}
nkeynes@608
   107
nkeynes@608
   108
/**
nkeynes@608
   109
 * Release the display grab.
nkeynes@608
   110
 */
nkeynes@608
   111
void video_window_ungrab_display( main_window_t win )
nkeynes@608
   112
{
nkeynes@608
   113
    gdk_pointer_ungrab(GDK_CURRENT_TIME);
nkeynes@608
   114
    gdk_keyboard_ungrab(GDK_CURRENT_TIME);
nkeynes@608
   115
    win->is_grabbed = FALSE;
nkeynes@608
   116
    main_window_set_running(win, dreamcast_is_running());
nkeynes@608
   117
}
nkeynes@608
   118
nkeynes@608
   119
static gboolean on_video_window_mouse_motion( GtkWidget *widget, GdkEventMotion *event,
nkeynes@608
   120
					      gpointer user_data )
nkeynes@608
   121
{
nkeynes@608
   122
    main_window_t win = (main_window_t)user_data;
nkeynes@608
   123
    int32_t x = (int32_t)event->x;
nkeynes@608
   124
    int32_t y = (int32_t)event->y;
nkeynes@608
   125
    if( win->is_grabbed && 
nkeynes@608
   126
	(x != win->mouse_x || y != win->mouse_y) ) {
nkeynes@608
   127
	uint32_t buttons = (event->state >> 8)&0x1F;
nkeynes@608
   128
	input_event_mouse( buttons, x - win->mouse_x, y - win->mouse_y );
nkeynes@608
   129
	video_window_center_pointer(win);
nkeynes@608
   130
    }
nkeynes@608
   131
    return TRUE;
nkeynes@608
   132
}
nkeynes@608
   133
nkeynes@608
   134
static gboolean on_video_window_mouse_pressed( GtkWidget *widget, GdkEventButton *event,
nkeynes@608
   135
					       gpointer user_data )
nkeynes@608
   136
{
nkeynes@608
   137
    main_window_t win = (main_window_t)user_data;
nkeynes@608
   138
    if( win->is_grabbed ) {
nkeynes@608
   139
	// Get the buttons from the event state, and remove the released button
nkeynes@608
   140
	uint32_t buttons = ((event->state >> 8) & 0x1F) | (1<<(event->button-1));
nkeynes@608
   141
	input_event_mouse( buttons, 0, 0 );
nkeynes@608
   142
    }
nkeynes@608
   143
    return TRUE;
nkeynes@608
   144
}
nkeynes@608
   145
nkeynes@608
   146
static gboolean on_video_window_mouse_released( GtkWidget *widget, GdkEventButton *event,
nkeynes@608
   147
					      gpointer user_data )
nkeynes@608
   148
{
nkeynes@608
   149
    main_window_t win = (main_window_t)user_data;
nkeynes@608
   150
    if( win->is_grabbed ) {
nkeynes@608
   151
	// Get the buttons from the event state, and remove the released button
nkeynes@608
   152
	uint32_t buttons = ((event->state >> 8) & 0x1F) & (~(1<<(event->button-1)));
nkeynes@608
   153
	input_event_mouse( buttons, 0, 0 );
nkeynes@608
   154
    } else if( win->use_grab) {
nkeynes@608
   155
	video_window_grab_display(win);
nkeynes@608
   156
    }
nkeynes@608
   157
    return TRUE;
nkeynes@608
   158
}
nkeynes@608
   159
nkeynes@608
   160
static gboolean on_video_window_key_pressed( GtkWidget *widget, GdkEventKey *event,
nkeynes@608
   161
					    gpointer user_data )
nkeynes@608
   162
{
nkeynes@608
   163
    main_window_t win = (main_window_t)user_data;
nkeynes@608
   164
    if( win->is_grabbed ) {
nkeynes@668
   165
#ifdef HAVE_GTK_OSX
nkeynes@668
   166
    /* On OSX, use the command key rather than ctrl-alt. Mainly because GTK/OSX 
nkeynes@668
   167
     * doesn't seem to be able to get ctrl-alt reliably 
nkeynes@668
   168
     **/
nkeynes@668
   169
    if( event->keyval == GDK_Meta_L || event->keyval == GDK_Meta_R ) {
nkeynes@668
   170
    	video_window_ungrab_display(win);
nkeynes@668
   171
    	return TRUE;
nkeynes@668
   172
    }
nkeynes@668
   173
#else    	
nkeynes@608
   174
	/* Check for ungrab key combo (ctrl-alt). Unfortunately GDK sends it as
nkeynes@608
   175
	 * a singly-modified keypress rather than a double-modified 'null' press, 
nkeynes@608
   176
	 * so we have to do a little more work.
nkeynes@612
   177
	 * Only check Ctrl/Shift/Alt for state - don't want to check numlock/capslock/
nkeynes@612
   178
	 * mouse buttons/etc
nkeynes@608
   179
	 */
nkeynes@618
   180
        int mod = gdk_keycode_to_modifier(gtk_widget_get_display(widget), event->hardware_keycode);
nkeynes@618
   181
	int state = event->state & gtk_accelerator_get_default_mod_mask();
nkeynes@618
   182
	if( (state == GDK_CONTROL_MASK && mod == GDK_MOD1_MASK) ||
nkeynes@618
   183
	    (state == GDK_MOD1_MASK && mod == GDK_CONTROL_MASK) ) {
nkeynes@608
   184
	    video_window_ungrab_display(win);
nkeynes@608
   185
	    // Consume the keypress, DC doesn't get it.
nkeynes@608
   186
	    return TRUE;
nkeynes@608
   187
	}
nkeynes@668
   188
#endif
nkeynes@608
   189
    }
nkeynes@614
   190
    input_event_keydown( NULL, gtk_get_unmodified_keyval(event), 1 );
nkeynes@608
   191
    return TRUE;
nkeynes@608
   192
}
nkeynes@608
   193
nkeynes@608
   194
static gboolean on_video_window_key_released( GtkWidget *widget, GdkEventKey *event,
nkeynes@608
   195
					     gpointer user_data )
nkeynes@608
   196
{
nkeynes@614
   197
    input_event_keyup( NULL, gtk_get_unmodified_keyval(event), 0 );
nkeynes@608
   198
    return TRUE;
nkeynes@608
   199
}
nkeynes@608
   200
nkeynes@614
   201
static gboolean on_video_window_focus_changed( GtkWidget *widget, GdkEventFocus *event,
nkeynes@614
   202
					       gpointer user_data )
nkeynes@614
   203
{
nkeynes@614
   204
    display_set_focused(event->in);
nkeynes@669
   205
    return TRUE;
nkeynes@614
   206
}
nkeynes@614
   207
nkeynes@608
   208
/*************************** Main window (frame) ******************************/
nkeynes@608
   209
nkeynes@486
   210
static gboolean on_main_window_deleted( GtkWidget *widget, GdkEvent event, gpointer user_data )
nkeynes@457
   211
{
nkeynes@671
   212
    dreamcast_shutdown();
nkeynes@457
   213
    exit(0);
nkeynes@457
   214
}
nkeynes@457
   215
nkeynes@486
   216
static void on_main_window_state_changed( GtkWidget *widget, GdkEventWindowState *state, 
nkeynes@486
   217
					  gpointer userdata )
nkeynes@486
   218
{
nkeynes@497
   219
    main_window_t win = (main_window_t)userdata;
nkeynes@486
   220
    if( state->changed_mask & GDK_WINDOW_STATE_FULLSCREEN ) {
nkeynes@486
   221
	gboolean fs = (state->new_window_state & GDK_WINDOW_STATE_FULLSCREEN);
nkeynes@497
   222
	GtkWidget *frame = gtk_widget_get_parent(win->video);
nkeynes@497
   223
	if( frame->style == NULL ) {
nkeynes@497
   224
	    gtk_widget_set_style( frame, gtk_style_new() );
nkeynes@497
   225
	}
nkeynes@497
   226
	if( fs ) {
nkeynes@497
   227
	    gtk_widget_hide( win->menubar );
nkeynes@497
   228
	    gtk_widget_hide( win->toolbar );
nkeynes@497
   229
	    gtk_widget_hide( win->statusbar );
nkeynes@497
   230
	    
nkeynes@497
   231
	    frame->style->xthickness = 0;
nkeynes@497
   232
	    frame->style->ythickness = 0;
nkeynes@497
   233
	} else {
nkeynes@497
   234
	    frame->style->xthickness = 2;
nkeynes@497
   235
	    frame->style->ythickness = 2;
nkeynes@497
   236
	    gtk_widget_show( win->menubar );
nkeynes@497
   237
	    gtk_widget_show( win->toolbar );
nkeynes@497
   238
	    gtk_widget_show( win->statusbar );
nkeynes@497
   239
	}
nkeynes@497
   240
	gtk_widget_queue_draw( win->window );
nkeynes@486
   241
    }
nkeynes@486
   242
}
nkeynes@486
   243
nkeynes@455
   244
main_window_t main_window_new( const gchar *title, GtkWidget *menubar, GtkWidget *toolbar,
nkeynes@455
   245
			       GtkAccelGroup *accel_group )
nkeynes@435
   246
{
nkeynes@435
   247
    GtkWidget *vbox;
nkeynes@437
   248
    GtkWidget *frame;
nkeynes@435
   249
    main_window_t win = g_malloc0( sizeof(struct main_window_info) );
nkeynes@435
   250
nkeynes@435
   251
    win->window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
nkeynes@486
   252
    win->menubar = menubar;
nkeynes@486
   253
    win->toolbar = toolbar;
nkeynes@608
   254
    win->use_grab = FALSE;
nkeynes@608
   255
    win->is_grabbed = FALSE;
nkeynes@435
   256
    gtk_window_set_title( GTK_WINDOW(win->window), title );
nkeynes@435
   257
    gtk_window_add_accel_group (GTK_WINDOW (win->window), accel_group);
nkeynes@435
   258
nkeynes@455
   259
    gtk_toolbar_set_style( GTK_TOOLBAR(toolbar), GTK_TOOLBAR_ICONS );
nkeynes@658
   260
nkeynes@659
   261
    win->video = video_gtk_create_drawable();
nkeynes@435
   262
    gtk_widget_set_size_request( win->video, 640, 480 ); 
nkeynes@608
   263
    gtk_widget_set_double_buffered( win->video, FALSE );
nkeynes@437
   264
    frame = gtk_frame_new(NULL);
nkeynes@437
   265
    gtk_frame_set_shadow_type( GTK_FRAME(frame), GTK_SHADOW_IN );
nkeynes@437
   266
    gtk_container_add( GTK_CONTAINER(frame), win->video );
nkeynes@437
   267
nkeynes@435
   268
    win->statusbar = gtk_statusbar_new();
nkeynes@435
   269
nkeynes@435
   270
    vbox = gtk_vbox_new(FALSE, 0);
nkeynes@435
   271
    gtk_container_add( GTK_CONTAINER(win->window), vbox );
nkeynes@455
   272
    gtk_box_pack_start( GTK_BOX(vbox), menubar, FALSE, FALSE, 0 );
nkeynes@455
   273
    gtk_box_pack_start( GTK_BOX(vbox), toolbar, FALSE, FALSE, 0 );
nkeynes@437
   274
    gtk_box_pack_start( GTK_BOX(vbox), frame, TRUE, TRUE, 0 );
nkeynes@435
   275
    gtk_box_pack_start( GTK_BOX(vbox), win->statusbar, FALSE, FALSE, 0 );
nkeynes@435
   276
    gtk_widget_show_all( win->window );
nkeynes@435
   277
    gtk_widget_grab_focus( win->video );
nkeynes@435
   278
    
nkeynes@437
   279
    gtk_statusbar_push( GTK_STATUSBAR(win->statusbar), 1, "Stopped" );
nkeynes@608
   280
nkeynes@457
   281
    g_signal_connect( win->window, "delete_event", 
nkeynes@457
   282
		      G_CALLBACK(on_main_window_deleted), win );
nkeynes@486
   283
    g_signal_connect( win->window, "window-state-event",
nkeynes@486
   284
		      G_CALLBACK(on_main_window_state_changed), win );
nkeynes@608
   285
nkeynes@608
   286
    g_signal_connect( win->video, "key-press-event",
nkeynes@608
   287
		      G_CALLBACK(on_video_window_key_pressed), win );
nkeynes@608
   288
    g_signal_connect( win->video, "key-release-event",
nkeynes@608
   289
		      G_CALLBACK(on_video_window_key_released), win );
nkeynes@608
   290
    g_signal_connect( win->video, "motion-notify-event",
nkeynes@608
   291
		      G_CALLBACK(on_video_window_mouse_motion), win );
nkeynes@608
   292
    g_signal_connect( win->video, "button-press-event",
nkeynes@608
   293
		      G_CALLBACK(on_video_window_mouse_pressed), win );
nkeynes@608
   294
    g_signal_connect( win->video, "button-release-event", 
nkeynes@608
   295
		      G_CALLBACK(on_video_window_mouse_released), win );
nkeynes@614
   296
    g_signal_connect( win->video, "focus-in-event",
nkeynes@614
   297
		      G_CALLBACK(on_video_window_focus_changed), win);
nkeynes@614
   298
    g_signal_connect( win->video, "focus-out-event",
nkeynes@614
   299
		      G_CALLBACK(on_video_window_focus_changed), win);
nkeynes@608
   300
nkeynes@608
   301
    gtk_widget_add_events( win->video, 
nkeynes@608
   302
			   GDK_KEY_PRESS_MASK | GDK_KEY_RELEASE_MASK |
nkeynes@608
   303
			   GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK |
nkeynes@614
   304
			   GDK_POINTER_MOTION_MASK | GDK_FOCUS_CHANGE_MASK );
nkeynes@608
   305
nkeynes@435
   306
    return win;
nkeynes@435
   307
}
nkeynes@435
   308
nkeynes@608
   309
void main_window_set_status_text( main_window_t win, char *text )
nkeynes@608
   310
{
nkeynes@608
   311
    gtk_statusbar_pop( GTK_STATUSBAR(win->statusbar), 1 );
nkeynes@608
   312
    if( win->is_grabbed ) {
nkeynes@608
   313
	char buf[128];
nkeynes@668
   314
#ifdef HAVE_GTK_OSX
nkeynes@668
   315
	snprintf( buf, sizeof(buf), "%s %s", text, _("(Press <command> to release grab)") );
nkeynes@668
   316
#else	
nkeynes@608
   317
	snprintf( buf, sizeof(buf), "%s %s", text, _("(Press <ctrl><alt> to release grab)") );
nkeynes@668
   318
#endif
nkeynes@608
   319
	gtk_statusbar_push( GTK_STATUSBAR(win->statusbar), 1, buf );
nkeynes@608
   320
    } else {
nkeynes@608
   321
	gtk_statusbar_push( GTK_STATUSBAR(win->statusbar), 1, text );
nkeynes@608
   322
    }
nkeynes@608
   323
}
nkeynes@608
   324
nkeynes@435
   325
void main_window_set_running( main_window_t win, gboolean running )
nkeynes@435
   326
{
nkeynes@608
   327
    char *text = running ? _("Running") : _("Stopped");
nkeynes@455
   328
    gtk_gui_enable_action( "Pause", running );
nkeynes@543
   329
    gtk_gui_enable_action( "Run", !running && dreamcast_can_run() );
nkeynes@608
   330
    main_window_set_status_text( win, text );
nkeynes@435
   331
}
nkeynes@435
   332
nkeynes@435
   333
void main_window_set_framerate( main_window_t win, float rate )
nkeynes@435
   334
{
nkeynes@435
   335
nkeynes@435
   336
nkeynes@435
   337
}
nkeynes@435
   338
nkeynes@437
   339
void main_window_set_speed( main_window_t win, double speed )
nkeynes@437
   340
{
nkeynes@437
   341
    char buf[32];
nkeynes@437
   342
nkeynes@480
   343
    snprintf( buf, 32, "Running (%2.4f%%)", speed );
nkeynes@608
   344
    main_window_set_status_text( win, buf );
nkeynes@437
   345
}
nkeynes@437
   346
nkeynes@435
   347
GtkWidget *main_window_get_renderarea( main_window_t win )
nkeynes@435
   348
{
nkeynes@435
   349
    return win->video;
nkeynes@435
   350
}
nkeynes@447
   351
nkeynes@447
   352
GtkWindow *main_window_get_frame( main_window_t win )
nkeynes@447
   353
{
nkeynes@447
   354
    return GTK_WINDOW(win->window);
nkeynes@447
   355
}
nkeynes@486
   356
nkeynes@486
   357
void main_window_set_fullscreen( main_window_t win, gboolean fullscreen )
nkeynes@486
   358
{
nkeynes@486
   359
    if( fullscreen ) {
nkeynes@486
   360
	gtk_window_fullscreen( GTK_WINDOW(win->window) );
nkeynes@486
   361
    } else {
nkeynes@486
   362
	gtk_window_unfullscreen( GTK_WINDOW(win->window) );
nkeynes@486
   363
    }
nkeynes@486
   364
}
nkeynes@608
   365
nkeynes@608
   366
void main_window_set_use_grab( main_window_t win, gboolean use_grab )
nkeynes@608
   367
{
nkeynes@608
   368
    if( use_grab != win->use_grab ) {
nkeynes@608
   369
	if( use_grab ) {
nkeynes@608
   370
	    GdkCursor *cursor = gdk_cursor_new( GDK_HAND2 );
nkeynes@608
   371
	    gdk_window_set_cursor( win->video->window, cursor );
nkeynes@608
   372
	    gdk_cursor_unref( cursor );
nkeynes@608
   373
	} else {
nkeynes@608
   374
	    gdk_window_set_cursor( win->video->window, NULL );
nkeynes@608
   375
	    if( gdk_pointer_is_grabbed() ) {
nkeynes@608
   376
		video_window_ungrab_display(win);
nkeynes@608
   377
	    }
nkeynes@608
   378
	}
nkeynes@608
   379
	win->use_grab = use_grab;
nkeynes@608
   380
    }
nkeynes@608
   381
}
.