document.write('
Data hosted with ♥ by Pastebin.com - Download Raw - See Original
  1. editores = {
  2.    { "Gvim", "gvim" },
  3.    { "Geany", "geany" },
  4.    { "Gedit", "gedit" }
  5. }
  6.  
  7. --Esto seria un submenu--^
');