Si sos desarrollador y usas el Eclipse en Ubuntu o cualquier otra distribución que use GNOME, seguramente notaste que la última versión tiene un bug que impide que los botones actuen correctamente. Este bug ya fue reportado y será arreglado para la próxima versión, pero mientras tanto podemos solucionarlo con un pequeño script.