Advertisement
Guest User

Untitled

a guest
May 21st, 2013
149
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Vala 2.38 KB | None | 0 0
  1. using Granite.Widgets;
  2.  
  3. class MainWindow : Gtk.Window {
  4.  
  5.     public MainWindow () {
  6.         var library_category = new Granite.Widgets.SourceList.ExpandableItem ("Libraries");
  7.         var store_category = new Granite.Widgets.SourceList.ExpandableItem ("Stores");
  8.         var device_category = new Granite.Widgets.SourceList.ExpandableItem ("Devices");
  9.  
  10.         var music_item = new Granite.Widgets.SourceList.Item ("Music");
  11.  
  12.         library_category.add (music_item);
  13.  
  14.         var my_store_item = new Granite.Widgets.SourceList.ExpandableItem ("My Store");
  15.         store_category.add (my_store_item);
  16.  
  17.         var my_store_podcast_item = new Granite.Widgets.SourceList.Item ("Podcasts");
  18.         var my_store_music_item = new Granite.Widgets.SourceList.Item ("Music");
  19.  
  20.         my_store_item.add (my_store_music_item);
  21.         my_store_item.add (my_store_podcast_item);
  22.  
  23.         var player1_item = new Granite.Widgets.SourceList.Item ("Player 1");
  24.         var player2_item = new Granite.Widgets.SourceList.Item ("Player 2");
  25.         var player3_item = new Granite.Widgets.SourceList.Item ("Player 3");
  26.         var player4_item = new Granite.Widgets.SourceList.Item ("Player 4");
  27.         var player5_item = new Granite.Widgets.SourceList.Item ("Player 5");
  28.         var player6_item = new Granite.Widgets.SourceList.Item ("Player 6");
  29.         var player7_item = new Granite.Widgets.SourceList.Item ("Player 7");
  30.         var player8_item = new Granite.Widgets.SourceList.Item ("Player 8");
  31.          
  32.         device_category.add (player1_item);
  33.         device_category.add (player2_item);
  34.         device_category.add (player3_item);
  35.         device_category.add (player4_item);
  36.         device_category.add (player5_item);
  37.         device_category.add (player6_item);
  38.         device_category.add (player7_item);
  39.         device_category.add (player8_item);
  40.  
  41.         var source_list = new Granite.Widgets.SourceList ();
  42.         var root = source_list.root;
  43.          
  44.         root.add (library_category);
  45.         root.add (store_category);
  46.         root.add (device_category);
  47.  
  48.         var pane = new Granite.Widgets.ThinPaned ();
  49.         pane.pack1 (source_list, true, false);
  50.        
  51.         add (pane);
  52.     }
  53. }
  54.  
  55. void main (string[] args) {
  56.     Gtk.init (ref args);
  57.     var win = new MainWindow ();
  58.     win.destroy.connect (Gtk.main_quit);
  59.     win.show_all ();
  60.     Gtk.main ();
  61. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement