definition module targetui

// gui elements for environments

import StdMenu
import PmEnvironment
import IdeState

setProjectTarget :: !String !(PSt *General) -> PSt *General
// sets the environment for the current project

getTargetName :: !(PSt *General) -> (String,PSt *General)
// gets the environment of the current project

:: TargetMenu ls pst	//:== Menu (:+: .MenuItem (:+: .MenuItem (:+: .MenuSeparator .RadioMenu))) ls pst

instance Menus TargetMenu

targetMenu :: !String [.Target] Id Id (*(PSt *General) -> *([.Target],*(PSt *General))) ([Target] -> .(*(PSt *General) -> *(PSt *General))) -> TargetMenu .a *(PSt *General)
// define the environments menu

selectProjectTarget :: !(*(PSt *General) -> *([.Target],*(PSt *General))) !*(PSt *General) -> *(PSt *General)
// selects the environment of the current project in the
// environments menu (with availability checking)