Show
Ignore:
Timestamp:
06/12/06 16:40:59 (2 years ago)
Author:
jordi
Message:

The MainView? now has a separate widget for the current page number and the total page number, as requested in bug #37 closed in this revision.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/src/gtk/MainView.h

    r213 r227  
    6262            void showIndex (gboolean show); 
    6363            void setCursor (ViewCursor cursorType); 
    64             void setTotalPages (gint pages); 
     64            void setNumberOfPagesText (const gchar *text); 
    6565            void setGoToPageText (const gchar *text); 
    6666            void setStatusBarText (const gchar *text); 
     
    8787            GtkWidget *m_MainWindow; 
    8888            GtkWidget *m_MainBox; 
     89            GtkWidget *m_NumberOfPages; 
    8990            GtkTreeStore *m_Outline; 
    9091            PageView *m_PageView; 
     
    9293            GtkWidget *m_StatusBar; 
    9394            GtkWidget *m_TreeIndex; 
    94             gint m_TotalPages; 
    9595            GtkUIManager *m_UIManager; 
    9696