727 |
GtkWidget *VScrolledWindow; |
GtkWidget *VScrolledWindow; |
728 |
GtkWidget *TabLabel, *MenuLabel; |
GtkWidget *TabLabel, *MenuLabel; |
729 |
GtkWidget *PopUpMenu; |
GtkWidget *PopUpMenu; |
730 |
|
GtkWidget *LineNumberDisplay; |
731 |
|
GdkWindow *AuxWindow; |
732 |
t_fprops Storage; |
t_fprops Storage; |
733 |
PangoFontDescription *desc; |
PangoFontDescription *desc; |
734 |
GdkColor color; |
GdkColor color; |
777 |
|
|
778 |
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 */ |
779 |
|
|
780 |
gtk_text_view_set_border_window_size(GTK_TEXT_VIEW(FPROPS(OpenedFilesCnt, Text)), GTK_TEXT_WINDOW_LEFT, 50); |
gtk_text_view_set_border_window_size(GTK_TEXT_VIEW(FPROPS(OpenedFilesCnt, Text)), |
781 |
|
GTK_TEXT_WINDOW_LEFT, 50); |
782 |
|
|
783 |
|
AuxWindow = gtk_text_view_get_window(GTK_TEXT_VIEW(FPROPS(OpenedFilesCnt, Text)), |
784 |
|
GTK_TEXT_WINDOW_LEFT); /* FIXME: should be able to put this on the righthand side */ |
785 |
PopUpMenu = popup_menu_new (); |
|
786 |
|
//LineNumberDisplay = gtk_ |
787 |
|
|
788 |
|
PopUpMenu = popup_menu_new(); |
789 |
g_signal_connect_swapped (G_OBJECT(FPROPS(OpenedFilesCnt, Text)), |
g_signal_connect_swapped (G_OBJECT(FPROPS(OpenedFilesCnt, Text)), |
790 |
"button-press-event", G_CALLBACK (popup_menu_show), |
"button-press-event", G_CALLBACK (popup_menu_show), |
791 |
PopUpMenu); |
PopUpMenu); |