comparison src/skins/ui_skinned_playlist.c @ 3159:1ffcad5f406c

import new skins plugin
author Yoshiki Yazawa <yaz@honeyplanet.jp>
date Fri, 22 May 2009 23:18:48 +0900
parents 5744479b31f4
children
comparison
equal deleted inserted replaced
3158:8b97f9560dc3 3159:1ffcad5f406c
956 956
957 } 957 }
958 playlistwin_update_list(aud_playlist_get_active()); 958 playlistwin_update_list(aud_playlist_get_active());
959 } 959 }
960 priv->drag_pos = nr; 960 priv->drag_pos = nr;
961 } else if (config.show_filepopup_for_tuple) { 961 } else if (aud_cfg->show_filepopup_for_tuple) {
962 gint pos = ui_skinned_playlist_get_position(widget, event->x, event->y); 962 gint pos = ui_skinned_playlist_get_position(widget, event->x, event->y);
963 if (pos == -1) { 963 if (pos == -1) {
964 ui_skinned_playlist_popup_hide (widget); 964 ui_skinned_playlist_popup_hide (widget);
965 ui_skinned_playlist_popup_timer_stop (widget); 965 ui_skinned_playlist_popup_timer_stop (widget);
966 } else if (GPOINTER_TO_INT(g_object_get_data (G_OBJECT(widget), "popup_active") == 0) || 966 } else if (GPOINTER_TO_INT(g_object_get_data (G_OBJECT(widget), "popup_active") == 0) ||
1068 audacious_fileinfopopup_hide(popup, NULL); 1068 audacious_fileinfopopup_hide(popup, NULL);
1069 } 1069 }
1070 } 1070 }
1071 1071
1072 static void ui_skinned_playlist_popup_timer_start(GtkWidget *widget) { 1072 static void ui_skinned_playlist_popup_timer_start(GtkWidget *widget) {
1073 gint timer_id = g_timeout_add(config.filepopup_delay*100, ui_skinned_playlist_popup_show, widget); 1073 int timer_id;
1074
1075 timer_id = g_timeout_add (aud_cfg->filepopup_delay * 100,
1076 ui_skinned_playlist_popup_show, widget);
1074 g_object_set_data(G_OBJECT(widget), "timer_id", GINT_TO_POINTER(timer_id)); 1077 g_object_set_data(G_OBJECT(widget), "timer_id", GINT_TO_POINTER(timer_id));
1075 g_object_set_data(G_OBJECT(widget), "timer_active", GINT_TO_POINTER(1)); 1078 g_object_set_data(G_OBJECT(widget), "timer_active", GINT_TO_POINTER(1));
1076 } 1079 }
1077 1080
1078 static void ui_skinned_playlist_popup_timer_stop(GtkWidget *widget) { 1081 static void ui_skinned_playlist_popup_timer_stop(GtkWidget *widget) {