2011/5/27 ecyrbe <ecyrbe@xxxxxxxxx>
We can't "fix things that crash the desktop" if we allow arbitrary code inside the window manager. For instance, the following extension code will crash the shell:
const Main = imports.ui.main;
function main() {
ÂÂ Main.overview = null;
}
The only way to make the desktop robust against extensions doing stupid things is to remove them or run them out of process (limiting them to some dbus api we'd have to export).
Florian
I don't agree. The desktop should be robust by design and not messy by design.
if we can fix this, we should! And if we find other things that crash the desktop, we should also fix them.
We can't "fix things that crash the desktop" if we allow arbitrary code inside the window manager. For instance, the following extension code will crash the shell:
const Main = imports.ui.main;
function main() {
ÂÂ Main.overview = null;
}
The only way to make the desktop robust against extensions doing stupid things is to remove them or run them out of process (limiting them to some dbus api we'd have to export).
Florian
_______________________________________________ gtk-list mailing list gtk-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gtk-list
