tThe graphical server now uses the new GtkTextView widget and functions. - vaccinewars - be a doctor and try to vaccinate the world
 (HTM) git clone git://src.adamsgaard.dk/vaccinewars
 (DIR) Log
 (DIR) Files
 (DIR) Refs
 (DIR) README
 (DIR) LICENSE
       ---
 (DIR) commit c244c6f39dd6bd1f95524e613dcaa8a46831a2f3
 (DIR) parent 02acd90ce8657a840907cec80fe29043c8bbcbc8
 (HTM) Author: Ben Webb <ben@salilab.org>
       Date:   Fri,  5 Apr 2002 13:43:28 +0000
       
       The graphical server now uses the new GtkTextView widget and functions.
       
       
       Diffstat:
         M src/serverside.c                    |      17 ++++-------------
       
       1 file changed, 4 insertions(+), 13 deletions(-)
       ---
 (DIR) diff --git a/src/serverside.c b/src/serverside.c
       t@@ -1308,14 +1308,7 @@ void GuiSetTimeouts(void)
        
        static void GuiServerPrintFunc(const gchar *string)
        {
       -  gint EditPos;
       -
       -  gtk_text_freeze(GTK_TEXT(TextOutput));
       -  EditPos = gtk_text_get_length(GTK_TEXT(TextOutput));
       -  gtk_editable_insert_text(GTK_EDITABLE(TextOutput), string,
       -                           strlen(string), &EditPos);
       -  gtk_text_thaw(GTK_TEXT(TextOutput));
       -  gtk_editable_set_position(GTK_EDITABLE(TextOutput), EditPos);
       +  TextViewAppend(GTK_TEXT_VIEW(TextOutput), string, NULL, TRUE);
        }
        
        static void GuiServerLogMessage(const gchar *log_domain,
       t@@ -1604,7 +1597,6 @@ static void SetupTaskBarIcon(GtkWidget *widget)
        void GuiServerLoop(gboolean is_service)
        {
          GtkWidget *window, *text, *hbox, *vbox, *entry, *label;
       -  GtkAdjustment *adj;
        
          window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
          gtk_signal_connect(GTK_OBJECT(window), "delete_event",
       t@@ -1617,10 +1609,9 @@ void GuiServerLoop(gboolean is_service)
          gtk_container_set_border_width(GTK_CONTAINER(window), 7);
        
          vbox = gtk_vbox_new(FALSE, 7);
       -  adj = (GtkAdjustment *)gtk_adjustment_new(0, 0, 100, 1, 10, 10);
       -  TextOutput = text = gtk_scrolled_text_new(NULL, adj, &hbox);
       -  gtk_text_set_editable(GTK_TEXT(text), FALSE);
       -  gtk_text_set_word_wrap(GTK_TEXT(text), TRUE);
       +  TextOutput = text = gtk_scrolled_text_view_new(&hbox);
       +  gtk_text_view_set_editable(GTK_TEXT_VIEW(text), FALSE);
       +  gtk_text_view_set_wrap_mode(GTK_TEXT_VIEW(text), GTK_WRAP_WORD);
          gtk_box_pack_start(GTK_BOX(vbox), hbox, TRUE, TRUE, 0);
        
          hbox = gtk_hbox_new(FALSE, 4);