Чтобы скрыть панель инструмента можно также нажать кнопку в правой части заголовка панели. Однако, по крайней мере в последних версиях
KDevelop 4.2.x, это так же приведёт к исчезновению кнопки, представляющую инструмент на границе окна. Как вернуть потерянную кнопку обратно, равно как и кнопку любого другого инструмента, описано ниже. Данное поведение описано в отчёте
bug 270018