- fixed SIGSEGV handler (now write a core file by aborting program)

- fixed statusbar & infobar background refresh problem with some systems

2 files changed, 19 insertions, 21 deletions

diff --git a/src/gui/curses/gui-display.c b/src/gui/curses/gui-display.c
index 9d8b54bb9..7a215a478 100644
--- a/src/gui/curses/gui-display.c
+++ b/src/gui/curses/gui-display.c
@@ -1082,11 +1082,14 @@ gui_draw_buffer_status (t_gui_buffer *buffer, int erase)
     
     for (ptr_win = gui_windows; ptr_win; ptr_win = ptr_win->next_window)
     {
+        if (has_colors ())
+            wbkgdset(ptr_win->win_status, ' ' | COLOR_PAIR (COLOR_WIN_STATUS));
+        
         if (erase)
             gui_curses_window_clear (ptr_win->win_status);
         
         gui_window_set_color (ptr_win->win_status, COLOR_WIN_STATUS);
-        wborder (ptr_win->win_status, ' ', ' ', ' ', ' ', ' ', ' ', ' ', ' ');
+        /* wborder (ptr_win->win_status, ' ', ' ', ' ', ' ', ' ', ' ', ' ', ' '); */
         wmove (ptr_win->win_status, 0, 0);
         
         /* display number of buffers */
@@ -1407,15 +1410,14 @@ gui_draw_buffer_infobar (t_gui_buffer *buffer, int erase)
     
     for (ptr_win = gui_windows; ptr_win; ptr_win = ptr_win->next_window)
     {
+        if (has_colors ())
+            wbkgdset(ptr_win->win_infobar, ' ' | COLOR_PAIR (COLOR_WIN_INFOBAR));
+        
         if (erase)
             gui_curses_window_clear (ptr_win->win_infobar);
 
-        if (has_colors ())
-        {
-            gui_window_set_color (ptr_win->win_infobar, COLOR_WIN_INFOBAR);
-            wborder (ptr_win->win_infobar, ' ', ' ', ' ', ' ', ' ', ' ', ' ', ' ');
-            wnoutrefresh (ptr_win->win_infobar);
-        }
+        gui_window_set_color (ptr_win->win_infobar, COLOR_WIN_INFOBAR);
+        /* wborder (ptr_win->win_infobar, ' ', ' ', ' ', ' ', ' ', ' ', ' ', ' '); */
         wmove (ptr_win->win_infobar, 0, 0);
         
         time_seconds = time (NULL);
diff --git a/src/gui/gui-common.c b/src/gui/gui-common.c
index 7eeb4bfed..2cb5a6fb2 100644
--- a/src/gui/gui-common.c
+++ b/src/gui/gui-common.c
@@ -1009,20 +1009,16 @@ gui_input_delete_begin_of_line ()
 void
 gui_input_delete_end_of_line ()
 {
-    if (gui_current_window->buffer->input_buffer_pos > 0)
-      {
-	gui_input_clipboard_copy(gui_current_window->buffer->input_buffer +
-				 gui_current_window->buffer->input_buffer_pos,
-				 gui_current_window->buffer->input_buffer_size - 
-				 gui_current_window->buffer->input_buffer_pos);
-      }
-
-	gui_current_window->buffer->input_buffer[gui_current_window->buffer->input_buffer_pos] = ' ';
-	gui_current_window->buffer->input_buffer_size = gui_current_window->buffer->input_buffer_pos ;
-	gui_current_window->buffer->input_buffer[gui_current_window->buffer->input_buffer_size] = '\0';
-	gui_draw_buffer_input (gui_current_window->buffer, 0);
-	gui_input_optimize_buffer_size (gui_current_window->buffer);
-	gui_current_window->buffer->completion.position = -1;
+    gui_input_clipboard_copy(gui_current_window->buffer->input_buffer +
+                             gui_current_window->buffer->input_buffer_pos,
+                             gui_current_window->buffer->input_buffer_size - 
+                             gui_current_window->buffer->input_buffer_pos);
+    gui_current_window->buffer->input_buffer[gui_current_window->buffer->input_buffer_pos] = ' ';
+    gui_current_window->buffer->input_buffer_size = gui_current_window->buffer->input_buffer_pos ;
+    gui_current_window->buffer->input_buffer[gui_current_window->buffer->input_buffer_size] = '\0';
+    gui_draw_buffer_input (gui_current_window->buffer, 0);
+    gui_input_optimize_buffer_size (gui_current_window->buffer);
+    gui_current_window->buffer->completion.position = -1;
 }
 
 /*