[checkmk-commits] [tribe29/checkmk] 42551c: Be more Raw-Edition-friendly.

Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: 42551c0629e381f398789fd9ef960e6ad0ff4141 https://github.com/tribe29/checkmk/commit/42551c0629e381f398789fd9ef960e6ad… Author: Sven Panne <sven.panne(a)tribe29.com> Date: 2020-10-08 (Thu, 08 Oct 2020) Changed paths: M Makefile Log Message: ----------- Be more Raw-Edition-friendly. Change-Id: I85b749acd9066d2db0e9e42524e3d98d6321736e Commit: 4fbc324c20afed52e9963f877434da7ccd81f043 https://github.com/tribe29/checkmk/commit/4fbc324c20afed52e9963f877434da7cc… Author: Joerg Herbel <joerg.herbel(a)tribe29.com> Date: 2020-10-08 (Thu, 08 Oct 2020) Changed paths: M cmk/gui/main_menu.py M cmk/gui/pagetypes.py M cmk/gui/plugins/sidebar/main_menu.py M cmk/gui/plugins/sidebar/search.py M cmk/gui/plugins/sidebar/views.py M cmk/gui/plugins/sidebar/wato.py M cmk/gui/type_defs.py M cmk/gui/wato/user_profile.py Log Message: ----------- First version of search in monitoring menu For now, we use the same HTML elements and the same AJAX calls as the quicksearch. Change-Id: I701f63fc398449e897f7590398d6fb192334bfd9 Compare: https://github.com/tribe29/checkmk/compare/aeed941455ac...4fbc324c20af