draw_file_picker = function()
	local font = love.graphics.getFont()
	local y, x = Margin_top, Margin_left
	for _,f in ipairs(Files) do
		local w = font:getWidth(f)
		if x + w > App.screen.width then
			y = y + font:getHeight()*font:getLineHeight() + 10
			x = Margin_left
		end
		button(Global_state, f, {
			x=x-5, y=y-2, w=w+10, h=font:getHeight()*font:getLineHeight()+4,
			color={0.7,0.7,1.0},
			icon=function(p)
				App.color{r=0.4,g=0.4,b=0.7}
				love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 5,5)
				App.color{r=0,g=0,b=0}
				love.graphics.print(f, x,y)
			end,
			onpress1 = function()
				open_thread(f)
			end,
		})
		x = x + App.width(f) + 15
	end
end

	else
		set_mouse_cursor('arrow')
	end
	if Pan then

		return

	else
		set_mouse_cursor('arrow')

		-- we're rendering the file picker

		-- file picker
		-- check for any button clicks

				break

				return

		return

		-- HACK: shared by file picker and thread view

		-- thread view

		-- do nothing; everything happens on release

		-- we're rendering the file picker
		-- check for any button clicks
		for _,button in ipairs(Global_state.file_picker) do
			-- do nothing; everything happens on release
			-- (to avoid changing the surface between press and release)
			if in_rect(button, x,y) then
				return
			end
		end
		-- no button clicked; pan surface
		Pan = {x=Viewport.x+x/Viewport.zoom,y=Viewport.y+y/Viewport.zoom}