Enrico Berti 5054bc8572 HUE-5320 [editor] Resizing the editor should hide the fixed header and then redraw it 9 jaren geleden
..
notebook 5054bc8572 HUE-5320 [editor] Resizing the editor should hide the fixed header and then redraw it 9 jaren geleden