Changeset 3752fd809ac835ae6c3a647bd5fede233249a515
- Timestamp:
- 10/14/07 22:20:05 (6 years ago)
- Author:
- Armin Burgmeier <armin@…>
- Parents:
- e3caa739b035dc68fe130b1f935e7df3ae53a88a
- Children:
- 3c5bf1edc55dbb8db2f593b5b8b4e26bda098f86
- git-committer:
- Armin Burgmeier <armin@0x539.de> / 2007-10-14T20:20:05Z+0000
- Message:
-
2007-10-14 Armin Burgmeier <armin@…>
- inc/preferencesdialog.hpp:
- src/preferencesdialog.cpp: Don't use the tooltip for the smart
home/end option when gtkmm was built without deprecated API.
- src/logview.cpp: Replaced scroll_to_mark by scroll_to because the
former is deprecated.
- src/docwindow.cpp: Fix gtksourceview1 build.
- Files:
-
Legend:
- Unmodified
- Added
- Removed
-
|
re3caa739
|
r3752fd8
|
|
| | 1 | 2007-10-14 Armin Burgmeier <armin@0x539.de> |
| | 2 | |
| | 3 | * inc/preferencesdialog.hpp: |
| | 4 | * src/preferencesdialog.cpp: Don't use the tooltip for the smart |
| | 5 | home/end option when gtkmm was built without deprecated API. |
| | 6 | |
| | 7 | * src/logview.cpp: Replaced scroll_to_mark by scroll_to because the |
| | 8 | former is deprecated. |
| | 9 | |
| | 10 | * src/docwindow.cpp: Fix gtksourceview1 build. |
| | 11 | |
| 1 | 12 | 2007-09-30 Benjamin Herr <ben@0x539.de> |
| 2 | 13 | |
-
|
r35e39f6
|
r3752fd8
|
|
| 54 | 54 | { |
| 55 | 55 | public: |
| | 56 | #ifndef GTKMM_DISABLE_DEPRECATED |
| 56 | 57 | Editor(const Preferences& preferences, |
| 57 | 58 | Gtk::Tooltips& tooltips); |
| | 59 | #else |
| | 60 | Editor(const Preferences& preferences); |
| | 61 | #endif |
| 58 | 62 | |
| 59 | 63 | void set(Preferences::Editor& editor) const; |
| … |
… |
|
| 267 | 271 | protected: |
| 268 | 272 | Gtk::Notebook m_notebook; |
| | 273 | |
| | 274 | #ifndef GTKMM_DISABLE_DEPRECATED |
| 269 | 275 | Gtk::Tooltips m_tooltips; |
| | 276 | #endif |
| 270 | 277 | |
| 271 | 278 | Editor m_page_editor; |
-
|
r82f150d
|
r3752fd8
|
|
| 70 | 70 | Glib::wrap(GTK_TEXT_BUFFER(buffer), true); |
| 71 | 71 | |
| | 72 | #ifdef WITH_GTKSOURCEVIEW2 |
| 72 | 73 | // Set source language by filename |
| 73 | 74 | gtk_source_buffer_set_highlight_syntax(buffer, FALSE); |
| | 75 | #else |
| | 76 | gtk_source_buffer_set_highlight(buffer, FALSE); |
| | 77 | #endif |
| 74 | 78 | |
| 75 | 79 | for(Preferences::FileList::iterator iter = preferences.files.begin(); |
| … |
… |
|
| 81 | 85 | { |
| 82 | 86 | gtk_source_buffer_set_language(buffer, iter.language()); |
| | 87 | #ifdef WITH_GTKSOURCEVIEW2 |
| 83 | 88 | gtk_source_buffer_set_highlight_syntax(buffer, TRUE); |
| | 89 | #else |
| | 90 | gtk_source_buffer_set_highlight(buffer, TRUE); |
| | 91 | #endif |
| 84 | 92 | } |
| 85 | 93 | } |
| … |
… |
|
| 226 | 234 | |
| 227 | 235 | gtk_source_buffer_set_language(buffer, language); |
| | 236 | |
| | 237 | #ifdef WITH_GTKSOURCEVIEW2 |
| 228 | 238 | gtk_source_buffer_set_highlight_syntax(buffer, language != NULL); |
| | 239 | #else |
| | 240 | gtk_source_buffer_set_highlight(buffer, language != NULL); |
| | 241 | #endif |
| 229 | 242 | |
| 230 | 243 | m_signal_language_changed.emit(); |
| … |
… |
|
| 344 | 357 | GtkTextBuffer* buffer = gtk_text_view_get_buffer(GTK_TEXT_VIEW(m_view)); |
| 345 | 358 | |
| | 359 | #ifdef WITH_GTKSOURCEVIEW2 |
| 346 | 360 | gtk_source_view_set_tab_width(GTK_SOURCE_VIEW(m_view), |
| 347 | 361 | m_preferences.editor.tab_width); |
| | 362 | #else |
| | 363 | gtk_source_view_set_tabs_width(GTK_SOURCE_VIEW(m_view), |
| | 364 | m_preferences.editor.tab_width); |
| | 365 | #endif |
| | 366 | |
| 348 | 367 | gtk_source_view_set_insert_spaces_instead_of_tabs(GTK_SOURCE_VIEW(m_view), |
| 349 | 368 | m_preferences.editor.tab_spaces); |
-
|
r86f3501
|
r3752fd8
|
|
| 136 | 136 | ); |
| 137 | 137 | |
| 138 | | scroll_to_mark(m_end_mark, 0.0f); |
| | 138 | scroll_to(m_end_mark, 0.0f); |
| 139 | 139 | |
| 140 | 140 | #ifdef HAVE_SHOW_URL |
-
|
rc736504
|
r3752fd8
|
|
| 56 | 56 | } |
| 57 | 57 | |
| | 58 | #ifndef GTKMM_DISABLE_DEPRECATED |
| 58 | 59 | Gobby::PreferencesDialog::Editor::Editor(const Preferences& preferences, |
| 59 | 60 | Gtk::Tooltips& tooltips): |
| | 61 | #else |
| | 62 | Gobby::PreferencesDialog::Editor::Editor(const Preferences& preferences): |
| | 63 | #endif |
| 60 | 64 | m_frame_tab(_("Tab Stops") ), |
| 61 | 65 | m_frame_indentation(_("Indentation") ), |
| … |
… |
|
| 75 | 79 | m_ent_tab_width.set_increments(1, 1); |
| 76 | 80 | |
| | 81 | #ifndef GTKMM_DISABLE_DEPRECATED |
| 77 | 82 | // TODO: Improve this description |
| 78 | 83 | tooltips.set_tip(m_btn_homeend_smart, |
| 79 | 84 | _("With this option enabled, Home/End keys move to first/last " |
| 80 | 85 | "character before going to the start/end of the line.") ); |
| | 86 | #endif |
| 81 | 87 | |
| 82 | 88 | m_box_tab_width.set_spacing(5); |
| … |
… |
|
| 693 | 699 | bool local) |
| 694 | 700 | : Gtk::Dialog(_("Preferences"), parent, true), |
| 695 | | m_page_editor(preferences, m_tooltips), m_page_view(preferences), |
| 696 | | m_page_appearance(preferences), m_page_font(preferences), |
| 697 | | m_page_behaviour(preferences), m_page_files(*this, preferences, lang_mgr) |
| | 701 | #ifndef GTKMM_DISABLE_DEPRECATED |
| | 702 | m_page_editor(preferences, m_tooltips), |
| | 703 | #else |
| | 704 | m_page_editor(preferences), |
| | 705 | #endif |
| | 706 | m_page_view(preferences), |
| | 707 | m_page_appearance(preferences), |
| | 708 | m_page_font(preferences), |
| | 709 | m_page_behaviour(preferences), |
| | 710 | m_page_files(*this, preferences, lang_mgr) |
| 698 | 711 | { |
| 699 | 712 | m_notebook.append_page(m_page_editor, _("Editor") ); |