Changeset 82f150d4d2fb4cd5b3a2cf5a18af926e63465077
- Timestamp:
- 09/17/07 15:50:11 (6 years ago)
- Author:
- Armin Burgmeier <armin@…>
- Parents:
- c736504461d59e74a7e5a833729186fb98f2ec73
- Children:
- 3f834456a4d4db6e49dd0a04b1424f2d777a77fc
- git-committer:
- Armin Burgmeier <armin@0x539.de> / 2007-09-17T13:50:11Z+0000
- Message:
-
Don't break GtkSourceVie?1 build
- Files:
-
Legend:
- Unmodified
- Added
- Removed
-
|
rc736504
|
r82f150d
|
|
| 366 | 366 | gtk_source_view_set_highlight_current_line(GTK_SOURCE_VIEW(m_view), |
| 367 | 367 | m_preferences.view.curline_highlight); |
| | 368 | #ifdef WITH_GTKSOURCEVIEW2 |
| 368 | 369 | gtk_source_view_set_show_right_margin(GTK_SOURCE_VIEW(m_view), |
| 369 | 370 | m_preferences.view.margin_display); |
| … |
… |
|
| 372 | 373 | gtk_source_buffer_set_highlight_matching_brackets(GTK_SOURCE_BUFFER(buffer), |
| 373 | 374 | m_preferences.view.bracket_highlight); |
| | 375 | #else |
| | 376 | gtk_source_view_set_show_margin(GTK_SOURCE_VIEW(m_view), |
| | 377 | m_preferences.view.margin_display); |
| | 378 | gtk_source_view_set_margin(GTK_SOURCE_VIEW(m_view), |
| | 379 | m_preferences.view.margin_pos); |
| | 380 | gtk_source_buffer_set_check_brackets(GTK_SOURCE_BUFFER(buffer), |
| | 381 | m_preferences.view.bracket_highlight); |
| | 382 | #endif |
| 374 | 383 | |
| 375 | 384 | gtk_widget_modify_font(GTK_WIDGET(m_view), m_preferences.font.desc.gobj()); |