Changeset 3752fd809ac835ae6c3a647bd5fede233249a515

Show
Ignore:
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:
5 modified

Legend:

Unmodified
Added
Removed
  • ChangeLog

    re3caa739 r3752fd8  
     12007-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 
    1122007-09-30  Benjamin Herr  <ben@0x539.de> 
    213 
  • inc/preferencesdialog.hpp

    r35e39f6 r3752fd8  
    5454        { 
    5555        public: 
     56#ifndef GTKMM_DISABLE_DEPRECATED 
    5657                Editor(const Preferences& preferences, 
    5758                       Gtk::Tooltips& tooltips); 
     59#else 
     60                Editor(const Preferences& preferences); 
     61#endif 
    5862 
    5963                void set(Preferences::Editor& editor) const; 
     
    267271protected: 
    268272        Gtk::Notebook m_notebook; 
     273 
     274#ifndef GTKMM_DISABLE_DEPRECATED 
    269275        Gtk::Tooltips m_tooltips; 
     276#endif 
    270277 
    271278        Editor m_page_editor; 
  • src/docwindow.cpp

    r82f150d r3752fd8  
    7070                Glib::wrap(GTK_TEXT_BUFFER(buffer), true); 
    7171 
     72#ifdef WITH_GTKSOURCEVIEW2 
    7273        // Set source language by filename 
    7374        gtk_source_buffer_set_highlight_syntax(buffer, FALSE); 
     75#else 
     76        gtk_source_buffer_set_highlight(buffer, FALSE); 
     77#endif 
    7478 
    7579        for(Preferences::FileList::iterator iter = preferences.files.begin(); 
     
    8185                { 
    8286                        gtk_source_buffer_set_language(buffer, iter.language()); 
     87#ifdef WITH_GTKSOURCEVIEW2 
    8388                        gtk_source_buffer_set_highlight_syntax(buffer, TRUE); 
     89#else 
     90                        gtk_source_buffer_set_highlight(buffer, TRUE); 
     91#endif 
    8492                } 
    8593        } 
     
    226234 
    227235        gtk_source_buffer_set_language(buffer, language); 
     236 
     237#ifdef WITH_GTKSOURCEVIEW2 
    228238        gtk_source_buffer_set_highlight_syntax(buffer, language != NULL); 
     239#else 
     240        gtk_source_buffer_set_highlight(buffer, language != NULL); 
     241#endif 
    229242 
    230243        m_signal_language_changed.emit(); 
     
    344357        GtkTextBuffer* buffer = gtk_text_view_get_buffer(GTK_TEXT_VIEW(m_view)); 
    345358 
     359#ifdef WITH_GTKSOURCEVIEW2 
    346360        gtk_source_view_set_tab_width(GTK_SOURCE_VIEW(m_view), 
    347361                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 
    348367        gtk_source_view_set_insert_spaces_instead_of_tabs(GTK_SOURCE_VIEW(m_view), 
    349368                m_preferences.editor.tab_spaces); 
  • src/logview.cpp

    r86f3501 r3752fd8  
    136136        ); 
    137137 
    138         scroll_to_mark(m_end_mark, 0.0f); 
     138        scroll_to(m_end_mark, 0.0f); 
    139139 
    140140#ifdef HAVE_SHOW_URL 
  • src/preferencesdialog.cpp

    rc736504 r3752fd8  
    5656} 
    5757 
     58#ifndef GTKMM_DISABLE_DEPRECATED 
    5859Gobby::PreferencesDialog::Editor::Editor(const Preferences& preferences, 
    5960                                         Gtk::Tooltips& tooltips): 
     61#else 
     62Gobby::PreferencesDialog::Editor::Editor(const Preferences& preferences): 
     63#endif 
    6064        m_frame_tab(_("Tab Stops") ), 
    6165        m_frame_indentation(_("Indentation") ), 
     
    7579        m_ent_tab_width.set_increments(1, 1); 
    7680 
     81#ifndef GTKMM_DISABLE_DEPRECATED 
    7782        // TODO: Improve this description 
    7883        tooltips.set_tip(m_btn_homeend_smart, 
    7984                _("With this option enabled, Home/End keys move to first/last " 
    8085                  "character before going to the start/end of the line.") ); 
     86#endif 
    8187 
    8288        m_box_tab_width.set_spacing(5); 
     
    693699                                            bool local) 
    694700 : 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) 
    698711{ 
    699712        m_notebook.append_page(m_page_editor, _("Editor") );