codemirror: hide the drop down to select history when maximized

The real motivation was to make sure that search match is displayed when searching with Ctrl+F / Ctrl+G

Conflicts:
	bt5/erp5_code_mirror/SkinTemplateItem/portal_skins/erp5_code_mirror/code_mirror_support.xml

bt5/erp5_code_mirror/SkinTemplateItem/portal_skins/erp5_code_mirror/code_mirror_support.txt

@@ -328,6 +328,7 @@
 
  function switchToFullScreen(cm) {
    element = $('#merge')[0];
+   $("#history_select_container").hide();
    $(cm.getWrapperElement()).css('height', '100%');
    if((document.fullScreenElement &&
        document.fullScreenElement !== null) ||
@@ -350,6 +351,7 @@
  function maximize() {
    document.documentElement.style.overflow = "hidden";
    $("#merge").addClass('maximize');
+   $("#history_select_container").hide();
 
    if(merge_mode_elem) {
      $("#view").height("100%");
@@ -386,6 +388,7 @@
 
          document.documentElement.style.overflow = "";
          $("#merge").removeClass('maximize');
+         $("#history_select_container").show();
 
          if(merge_mode_elem) {
            $('.CodeMirror-merge').height(cm_merge_height);