node_manager_fkie: mark line with problems in launch editor
node_manager_fkie: fixed handling of history files
Merge branch 'master' of https://github.com/fkie/multimaster_fkie
node_manager_fkie: improved respawn script
node_manager_fkie: fixed highlighter problem in pyqt
Merge branch 'master' of https://github.com/fkie/multimaster_fkie
node_manager_fkie: fixed blocked focus if a xmleditor was open
node_manager_fkie: changed name creation for default configuration node
node_manager_fkie: changed the update strategy for description dock
node_manager_fkie: changed the update strategy for description dock