if Grab_pane then
local old_top, old_left, old_right = Grab_pane.top, Grab_pane.left, Grab_pane.right
local old_screen_top = Grab_pane.screen_top1
Grab_pane.screen_top1 = {line=1, pos=1}
Grab_pane.top = App.screen.height - 10*Line_height
Grab_pane.left = App.screen.width - Display_settings.column_width - Margin_right - Padding_horizontal
Grab_pane.right = Grab_pane.left + Display_settings.column_width
Grab_pane.width = Grab_pane.right - Grab_pane.left
App.color(Grab_background_color)
love.graphics.rectangle('fill', Grab_pane.left-Margin_left,Grab_pane.top-Margin_above, Grab_pane.width+Margin_left+Margin_right, App.screen.height-Grab_pane.top+Margin_above)
edit.draw(Grab_pane)
Grab_pane.top, Grab_pane.left, Grab_pane.right = old_top, old_left, old_right
Grab_pane.screen_top1 = old_screen_top
end