727 |
GtkWidget *VScrolledWindow; |
GtkWidget *VScrolledWindow; |
728 |
GtkWidget *TabLabel, *MenuLabel; |
GtkWidget *TabLabel, *MenuLabel; |
729 |
GtkWidget *PopUpMenu; |
GtkWidget *PopUpMenu; |
|
GtkWidget *LineNumberDisplay; |
|
|
GdkWindow *AuxWindow; |
|
730 |
t_fprops Storage; |
t_fprops Storage; |
731 |
PangoFontDescription *desc; |
PangoFontDescription *desc; |
732 |
GdkColor color; |
GdkColor color; |
733 |
|
|
734 |
|
|
735 |
START_FCN |
START_FCN |
736 |
|
|
737 |
g_array_append_val (FileProperties, Storage); |
g_array_append_val (FileProperties, Storage); |
776 |
|
|
777 |
gtk_text_view_set_left_margin(GTK_TEXT_VIEW(FPROPS(OpenedFilesCnt, Text)), 5); /* FIXME: make this adjustable */ |
gtk_text_view_set_left_margin(GTK_TEXT_VIEW(FPROPS(OpenedFilesCnt, Text)), 5); /* FIXME: make this adjustable */ |
778 |
|
|
779 |
gtk_text_view_set_border_window_size(GTK_TEXT_VIEW(FPROPS(OpenedFilesCnt, Text)), |
|
780 |
GTK_TEXT_WINDOW_LEFT, 50); |
PopUpMenu = popup_menu_new(); |
|
|
|
|
AuxWindow = gtk_text_view_get_window(GTK_TEXT_VIEW(FPROPS(OpenedFilesCnt, Text)), |
|
|
GTK_TEXT_WINDOW_LEFT); /* FIXME: should be able to put this on the righthand side */ |
|
|
|
|
|
//LineNumberDisplay = gtk_ |
|
|
|
|
|
PopUpMenu = popup_menu_new(); |
|
781 |
g_signal_connect_swapped (G_OBJECT(FPROPS(OpenedFilesCnt, Text)), |
g_signal_connect_swapped (G_OBJECT(FPROPS(OpenedFilesCnt, Text)), |
782 |
"button-press-event", G_CALLBACK (popup_menu_show), |
"button-press-event", G_CALLBACK (popup_menu_show), |
783 |
PopUpMenu); |
PopUpMenu); |