data/themes/winter/parts/playlist.edc

   1
   2             part {
   3                 name, "playlistPanel";
   4                 mouse_events, 1;
   5                 description {
   6                     state, "default" 0.0;
   7                     rel1 {
   8                       to, "main";
   9                       relative, 0 1;
  10                       offset, 1 0;
  11                     }
  12                     rel2 {
  13                       to, "bottom";
  14                       relative, 1 0;
  15                       offset, -2 -1;
  16                     }
  17                     image {
  18                         normal, "panel.png";
  19                                 border, 3 3 0 0;
  20                     }
  21                 }
  22             } //part
  23
  24             part {
  25                 name, "playlist.container";
  26                 type, SWALLOW;
  27                 mouse_events, 1;
  28                 repeat_events, 1;
  29                 clip_to, "playlistClip";
  30                 description {
  31                     state, "default" 0.0;
  32                     color, 0 0 0 0;
  33                     min, 5 5;
  34                     rel1 {
  35                       to, "playlistPanel";
  36                       relative, 0 0;
  37                       offset, 5 5;
  38                     }
  39                     rel2 {
  40                       to_x, "playlistPanel";
  41                       to_y, "playlistButtonArea";
  42                       relative, 1 0;
  43                       offset, -6 -5;
  44                     }
  45                 }
  46             } //part
  47
  48             part {
  49               name, "playlistGrabber";
  50               type, RECT;
  51               mouse_events, 1;
  52               repeat_events, 1;
  53               description {
  54                 state, "default" 0.0;
  55                 color, 0 0 0 0;
  56                 rel1 {
  57                   to, "playlist.container";
  58                   relative, 0 0;
  59                   offset, 0 0;
  60                 }
  61                 rel2 {
  62                   to, "playlist.container";
  63                   relative, 1 1;
  64                   offset, -1 -1;
  65                 }
  66               }
  67             } // end playlistGrabber
  68
  69             part {
  70                 name, "playlistShadow";
  71                 mouse_events, 1;
  72                 clip_to, "playlistClip";
  73                 description {
  74                     state, "default" 0.0;
  75                     rel1 {
  76                       to, "playlistPanel";
  77                       relative, 0 0;
  78                       offset, 0 0;
  79                     }
  80                     rel2 {
  81                       to, "playlistPanel";
  82                       relative, 1 0;
  83                       offset, -1 5;
  84                     }
  85                     image {
  86                         normal, "shad.png";
  87                     }
  88                 }
  89             } //part
  90
  91
  92             part {
  93                 name, "playlistClip";
  94                 type, RECT;
  95                 mouse_events, 1;
  96                 description {
  97                     state, "default" 0.0;
  98                     rel1 {
  99                       to, "playlistPanel";
 100                       relative, 0 0;
 101                       offset, 0 0;
 102                     }
 103                     rel2 {
 104                       to, "playlistPanel";
 105                       relative, 1 1;
 106                       offset, -1 -1;
 107                     }
 108                 }
 109             } //part
 110