Parent Directory | Revision Log | Patch
revision 1.12 by mikix, Thu May 15 02:18:03 2003 UTC | revision 1.13 by mikix, Sun May 18 04:23:20 2003 UTC | |
---|---|---|
# | Line 239 void open_file_in_editor(GtkWidget *Edi | Line 239 void open_file_in_editor(GtkWidget *Edi |
239 | /* display margin */ | /* display margin */ |
240 | gtk_source_view_set_show_margin (GTK_SOURCE_VIEW (Editor), Settings.show_margin); | gtk_source_view_set_show_margin (GTK_SOURCE_VIEW (Editor), Settings.show_margin); |
241 | ||
242 | /* tab width */ | |
243 | gtk_source_view_set_tabs_width (GTK_SOURCE_VIEW (Editor), Settings.tab_width); | |
244 | ||
245 | /* connect new buffer */ | /* connect new buffer */ |
246 | FPROPS (CurrentPage, Buffer) = Buffer; | FPROPS (CurrentPage, Buffer) = Buffer; |
247 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |