Index of /workspace/julia/source/editor/img

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      actoricon.png           2014-02-22 08:21  212   
      grid_backdrop.png       2014-02-22 08:22  3.3K  
      pause.png               2014-02-22 08:22  2.8K  
      picicon.png             2014-02-22 08:22  187   
      play.png                2014-02-22 08:22  3.2K  
      soundicon.png           2014-02-22 08:22  220   
      stop.png                2014-02-22 08:22  2.7K  
      texticon.png            2014-02-22 08:22  212