let
set_titles_show w =
function
true
->
column_titles_show w
|
false
->
column_titles_hide w