diff frontends/src/quick_frontend/quick_list_manager.py @ 1636:e00f450c25fc

primitivus: fixed progress panel
author Goffi <goffi@goffi.org>
date Fri, 20 Nov 2015 01:57:18 +0100
parents 8b8b1af5905f
children d17772b0fe22
line wrap: on
line diff