definition module ideoptions

import IdeState

ideOptionsDialog :: !*(PSt *General) -> *(PSt *General)