View | Details | Raw Unified | Return to bug 10044
Collapse All | Expand All

(-)./src/prefs_display_header.c.orig (-1 / +7 lines)
Lines 81-86 static gboolean prefs_display_header_key Link Here
81 
							 gpointer	 data);
 81 
							 gpointer	 data);
82 
static void prefs_display_header_ok		(void);
 82 
static void prefs_display_header_ok		(void);
83 
static void prefs_display_header_cancel		(void);
 83 
static void prefs_display_header_cancel		(void);
84 
static void prefs_display_header_delete		(void);
84 
static gint prefs_display_header_deleted	(GtkWidget	*widget,
 85 
static gint prefs_display_header_deleted	(GtkWidget	*widget,
85 
						 GdkEventAny	*event,
 86 
						 GdkEventAny	*event,
86 
						 gpointer	 data);
 87 
						 gpointer	 data);
Lines 731-736 static void prefs_display_header_ok(void Link Here
731 

          732
          

        

        

          732
          
static void prefs_display_header_cancel(void)

          733
          
static void prefs_display_header_cancel(void)

        

        

          733
          
{

          734
          
{

        

            

              
              
              735
              
	gtk_widget_hide(dispheader.window);

            

            

              736
              
}

            

            

              737
              

            

            

              738
              
static void prefs_display_header_delete(void)

            

            

              739
              
{

            

        

          734
          
	prefs_display_header_read_config();

          740
          
	prefs_display_header_read_config();

        

        

          735
          
	gtk_widget_hide(dispheader.window);

          741
          
	gtk_widget_hide(dispheader.window);

        

        

          736
          
}

          742
          
}

        

  

    
      
            Lines 738-744
          static void prefs_display_header_cancel(
      
      
        Link Here
      
    
  

        

          738
          
static gint prefs_display_header_deleted(GtkWidget *widget, GdkEventAny *event,

          744
          
static gint prefs_display_header_deleted(GtkWidget *widget, GdkEventAny *event,

        

        

          739
          
					 gpointer data)

          745
          
					 gpointer data)

        

        

          740
          
{

          746
          
{

        

          
            

              741
              
	prefs_display_header_cancel();


              747
              
	prefs_display_header_delete();

            

        

          742
          
	return TRUE;

          748
          
	return TRUE;

        

        

          743
          
}

          749
          
}

        

        

          744
          

          750
          

        






  

  Return to bug 10044