Wrong type dropdown for join_kind. (#9441)

Had the incorrect type in the join_kind drop down when overriding for display.

![image](https://github.com/enso-org/enso/assets/4699705/dbf0e569-62c4-444b-901d-28c0251c2ef2)
This commit is contained in:
James Dunkerley 2024-03-15 09:07:09 +00:00 committed by GitHub
parent 87291d5e6c
commit 4faae88c72
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -8,6 +8,7 @@ from Standard.Base.Widget_Helpers import make_format_chooser
import project.Data.Aggregate_Column.Aggregate_Column import project.Data.Aggregate_Column.Aggregate_Column
import project.Data.Join_Condition.Join_Condition import project.Data.Join_Condition.Join_Condition
import project.Data.Join_Kind.Join_Kind
import project.Data.Sort_Column.Sort_Column import project.Data.Sort_Column.Sort_Column
import project.Data.Table.Table import project.Data.Table.Table
import project.Data.Type.Value_Type.Auto import project.Data.Type.Value_Type.Auto
@ -142,8 +143,8 @@ make_filter_condition_selector table display=Display.Always =
Make a join kind selector - Needed to override display. Make a join kind selector - Needed to override display.
make_join_kind_selector : Display -> Widget make_join_kind_selector : Display -> Widget
make_join_kind_selector display=Display.Always = make_join_kind_selector display=Display.Always =
meta = Meta.meta Value_Type fqn = Meta.get_qualified_type_name Join_Kind
options = meta.constructors.map c-> Option c.name meta.qualified_name+"."+c.name options = ["Inner", "Left_Outer", "Right_Outer", "Full", "Left_Exclusive", "Right_Exclusive"].map n-> Option n fqn+"."+n
Single_Choice display=display values=options Single_Choice display=display values=options
## PRIVATE ## PRIVATE