modification de la hauteur des popupmenu

diminution de la propriete fontsize pour ces memes menus

modification de la hauteur des popupmenu
51ded3c5 · jacques.grelet_ird.fr · 33f94570 · 51ded3c5
Commit 51ded3c5 authored 17 years ago by jacques.grelet_ird.fr
--- a/tsg_util/headerForm.m
+++ b/tsg_util/headerForm.m
@@ -240,3 +240,4 @@ uiwait(hHeaderFig);
  end

 end
+