install(FILES __init__.py syntax.py text_finder.py button_area.py text_partition.py DESTINATION ${NGSOLVE_INSTALL_DIR_PYTHON}/ngsolve/gui/code_editor)
