Searched refs:fetchr (Results 1 – 2 of 2) sorted by relevance
5021 JMenuItem fetchr = new JMenuItem( in build_fetchdbmenu() local5023 fetchr.setToolTipText( in build_fetchdbmenu()5025 fetchr.addActionListener(new ActionListener() in build_fetchdbmenu()5064 rfetch.add(fetchr); in build_fetchdbmenu()5084 JMenuItem fetchr = null; in build_fetchdbmenu()5156 dfetch.add(fetchr); in build_fetchdbmenu()5165 fetchr = new JMenuItem(MessageManager in build_fetchdbmenu()5209 dfetch.add(fetchr); in build_fetchdbmenu()5233 fetchr = new JMenuItem(msname); in build_fetchdbmenu()5270 fetchr.setToolTipText( in build_fetchdbmenu()[all …]
158 fetchfrom loc ps fetchr = runBool ps' fetchr'167 fetchr' = fetchr { gitGlobalOpts = gitGlobalOpts fetchr ++ nogc } function