diff options
Diffstat (limited to 'gtk')
| -rw-r--r-- | gtk/src/ghb.ui | 5 | ||||
| -rw-r--r-- | gtk/src/main.c | 6 | ||||
| -rw-r--r-- | gtk/src/settings.c | 2 |
3 files changed, 8 insertions, 5 deletions
diff --git a/gtk/src/ghb.ui b/gtk/src/ghb.ui index eabbd7077..68cf4d54b 100644 --- a/gtk/src/ghb.ui +++ b/gtk/src/ghb.ui @@ -4715,6 +4715,7 @@ Requires subme >= 6 and trellis >= 1.</property> <property name="visible">True</property> </object> <packing> + <property name="padding">5</property> <property name="expand">False</property> <property name="position">1</property> </packing> @@ -4728,8 +4729,8 @@ Requires subme >= 6 and trellis >= 1.</property> <property name="shadow_type">GTK_SHADOW_IN</property> <child> <object class="GtkTextView" id="activity_view"> - <property name="width_request">500</property> - <property name="height_request">500</property> + <property name="width_request">600</property> + <property name="height_request">600</property> <property name="visible">True</property> <property name="can_focus">True</property> <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> diff --git a/gtk/src/main.c b/gtk/src/main.c index 2c732079e..3b3ab25b5 100644 --- a/gtk/src/main.c +++ b/gtk/src/main.c @@ -523,7 +523,7 @@ IoRedirect(signal_user_data_t *ud) { GIOChannel *channel; gint pfd[2]; - gchar *config, *path; + gchar *config, *path, *str; // I'm opening a pipe and attaching the writer end to stderr // The reader end will be polled by main event loop and I'll get @@ -539,7 +539,9 @@ IoRedirect(signal_user_data_t *ud) path = g_strdup_printf("%s/%s", config, "Activity.log"); ud->activity_log = g_io_channel_new_file (path, "w", NULL); ud->job_activity_log = NULL; - ghb_ui_update(ud, "activity_location", ghb_string_value(path)); + str = g_strdup_printf("<big><b>%s</b></big>", path); + ghb_ui_update(ud, "activity_location", ghb_string_value(str)); + g_free(str); g_free(path); g_free(config); // Set encoding to raw. diff --git a/gtk/src/settings.c b/gtk/src/settings.c index 3e3de4ba0..857bf7086 100644 --- a/gtk/src/settings.c +++ b/gtk/src/settings.c @@ -625,7 +625,7 @@ update_widget(GtkWidget *widget, const GValue *value) } else if (type == GTK_TYPE_LABEL) { - gtk_label_set_text (GTK_LABEL(widget), str); + gtk_label_set_markup (GTK_LABEL(widget), str); } else if (type == GTK_TYPE_FILE_CHOOSER_BUTTON) { |