Can the gui widgets handle the vector of strings for available options? If not, we should fix this.
Can the gui widgets handle the vector of strings for available options? If not, we should fix this.