Skip to content
Snippets Groups Projects
Commit dd4830ba authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp] make bytes model invisible in GUI

parent c5882fde
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/gui/GuiPanel.ml
+ 1
− 0
View file @ dd4830ba
...@@ -122,6 +122,7 @@ class model_selector (main : Design.main_window_extension_points) = ...@@ -122,6 +122,7 @@ class model_selector (main : Design.main_window_extension_points) =
dialog#add_row r_hoare#coerce ; dialog#add_row r_hoare#coerce ;
dialog#add_row r_typed#coerce ; dialog#add_row r_typed#coerce ;
dialog#add_row r_bytes#coerce ; dialog#add_row r_bytes#coerce ;
r_bytes#set_visible false ;
dialog#add_row r_eva#coerce ; dialog#add_row r_eva#coerce ;
dialog#add_row c_casts#coerce ; dialog#add_row c_casts#coerce ;
dialog#add_row c_byref#coerce ; dialog#add_row c_byref#coerce ;
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment