Gnome and broken buttons: Revision history

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

3 February 2010

18 January 2010

15 January 2010

  • curprev 18:2418:24, 15 January 2010‎ imported>Nicolas‎ m 1,630 bytes +20‎ No edit summary
  • curprev 18:1618:16, 15 January 2010‎ imported>Nicolas‎ 1,610 bytes +1,610‎ New page: A bug in recent versions of Gnome makes buttons not always work within applications, including Eclipse and thus Rodin. This bug is referenced all over the Web in bug reports and forums, fo...
Retrieved from ‘https://wiki.event-b.org/index.php/Gnome_and_broken_buttons’