" return;",
" }",
" ",
- " var filename = this.file.getIconFileName(false);",
" ",
" var win = this.el.get_parent_window();",
" var width = win.get_width();",
" // var height = win.get_height();",
" try { ",
" Gdk.Pixbuf screenshot = Gdk.pixbuf_get_from_window(win, 0, 0, width, this.paned.el.position);",
- " screenshot.save(filename,\"png\");",
+ " this.file.writeIcon(screenshot);",
+ " ",
" } catch(Error e) {",
" //noop",
" }",