Ticket #606: hackMenu.patch

File hackMenu.patch, 1.1 KB (added by westram, 10 years ago)

hack a GDE menu (to show several different gfx labels)

  • GDEHELP/MENUS/raxml.menu

     
    3434
    3535arg:BASETREE
    3636argtype:tree
    37 arglabel:Base tree
     37//arglabel:Base tree
     38arglabel:#editor.xpm
    3839argchoice:????
    3940
    4041arg:CONSTRAINT
    … …  
    6364       
    6465        arg:NUMCATEGORIES
    6566        argtype:text
    66         arglabel: # rate categories (GTRCAT only)
     67//        arglabel: # rate categories (GTRCAT only)
     68        arglabel: #editor.xpm
    6769        argtext:25
    6870
    6971#else
    … …  
    126128arg:SEARCH
    127129argtype:choice_menu
    128130arglabel:Select RAxML algorithm
    129 argchoice:new rapid hill climbing:d
     131//argchoice:new rapid hill climbing:d
     132argchoice:#editor.xpm:d
    130133argchoice:old hill climbing:o
    131134argchoice:optimize input tree:e
    132135argchoice:rapid bootstrap analysis:a
    … …  
    155158
    156159arg:CONSENSE
    157160argtype:choice_menu
    158 arglabel:What to do with selected trees?
     161//arglabel:What to do with selected trees?
     162arglabel:#editor.xpm
    159163argchoice:Import into ARB:import
    160164argchoice:Create consensus tree:consense
    161165