increase size of timeline marker

This commit is contained in:
niels
2015-05-03 19:05:17 +02:00
parent 936b244681
commit 3ddc40ec54
2 changed files with 6 additions and 9 deletions

View File

@@ -1,5 +1,5 @@
/* veejay - Linux VeeJay
* (C) 2002-2008 Niels Elburg <nwelburg@gmail.com>
* (C) 2002-2015 Niels Elburg <nwelburg@gmail.com>
*
*
* This program is free software; you can redistribute it and/or modify
@@ -375,11 +375,11 @@ static void timeline_init( TimelineSelection *te )
te->grab_button = 0;
te->has_stepper = TRUE;
te->has_selection = FALSE;
te->stepper_size = 16; // 8 x 8 pixels
te->stepper_draw_size = 12;
te->stepper_size = 24;
te->stepper_draw_size = 16;
te->stepper_length = 0;
te->frame_height = 10;
te->font_line = 12;
te->font_line = 18;
te->move_x = 0;
}
@@ -822,7 +822,6 @@ static gboolean timeline_expose (GtkWidget *widget, GdkEventExpose *event )
cairo_set_font_size( cr, 0.2 );
cairo_set_source_rgba( cr, v,v,v,0.7 );
cairo_fill(cr);
}
cairo_set_source_rgba( cr, v, v, v, 0.3 );
@@ -848,7 +847,7 @@ GtkWidget *timeline_new(void)
GtkWidget *widget = GTK_WIDGET( g_object_new( timeline_get_type(), NULL ));
TimelineSelection *te = TIMELINE_SELECTION( widget );
gtk_widget_set_size_request(widget, 200,16 );
gtk_widget_set_size_request(widget, 200,24 );
gtk_widget_set_events( widget,
GDK_EXPOSURE_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_POINTER_MOTION_MASK |

View File

@@ -6898,8 +6898,6 @@ void vj_gui_init(char *glade_file, int launcher, char *hostname, int port_num,
glade_xml_signal_autoconnect( gui->main_window );
GtkWidget *frame = glade_xml_get_widget_( info->main_window, "markerframe" );
info->tl = timeline_new();
gtk_widget_set_size_request_(frame, 200,14 );
set_tooltip_by_widget(info->tl, tooltips[TOOLTIP_TIMELINE].text );