"use strict";
function start_html_code_editor(win_id, code_editor_type = "html") {
//return;
var editor_type = null;
editor_type = code_editor_type;
if (!is_code_editor_type_valid(editor_type)) {
return;
}
hide_window_content_for_code_editor(win_id);
place_embedded_code_editor_panel(win_id, editor_type);
set_code_editor_container_width(win_id);
set_code_editor_container_height(win_id);
place_code_editor_iframe_contents(win_id, editor_type);
////on_resize_adjust_iframe_size(win_id, editor_type);
////resize_tabs_bar(win_id);
////on_maximize_resize_code_window(win_id);
//2025-01-15:
//this function's purpose is to
//consolidate redundantly used code.
//The code is used to match the size of
//the code editor to matchs the size of
//the window's content container size.
//see file: 'code_editor_functions.js'
//---------------------------------------------
//this is what the redundantly used looks like:
//---------------------------------------------
/*
if (is_code_editor_present(win_id) === true) {
show_code_editor(win_id);
resize_tabs_bar(win_id);
on_cascade_resize_objects(win_id);
};
*///-------------------------------------------
set_existing_code_editor_size_to_window_size(win_id);
//---------------------------------------------
self.addEventListener("mousemove", function () {
////set_code_editor_container_width(win_id);
////set_code_editor_container_height(win_id);
////resize_menu_bar(win_id);
resize_tabs_bar(win_id);
//2025-01-15:
//this function's purpose is to
//consolidate redundantly used code.
//The code is used to match the size of
//the code editor to matchs the size of
//the window's content container size.
//see file: 'code_editor_functions.js'
//---------------------------------------------
//this is what the redundantly used looks like:
//---------------------------------------------
/*
if (is_code_editor_present(win_id) === true) {
show_code_editor(win_id);
resize_tabs_bar(win_id);
on_cascade_resize_objects(win_id);
};
*///-------------------------------------------
set_existing_code_editor_size_to_window_size(win_id);
//---------------------------------------------
});
}