Karma Isabelle window-frame-repair1339