Vadim ProductEngine e8e1d7e629 STORM-318 FIXED The Advanced menu shortcut was broken under Linux. ... Reason: The old shortcut (Ctrl+Alt+D) was eaten by some window managers. Changes: - Changed the shortcut to Ctrl+Alt+Shift+D. - Moved the appropriate menu item from "Advanced > Shortcuts" to "World > Show" (so that it's not in the menu it triggers) and made it visible. The old shortcut is still available but marked as legacy. Submitting on behalf of Boroondas Gupte.		2010-11-15 21:38:12 +02:00
..
LGPL-licence.txt	Change license from GPL to LGPL (version 2.1)	2010-08-13 07:24:57 -04:00
LICENSE-logos.txt	…
LICENSE-source.txt	Change license from GPL to LGPL (version 2.1)	2010-08-13 07:24:57 -04:00
contributions.txt	STORM-318 FIXED The Advanced menu shortcut was broken under Linux.	2010-11-15 21:38:12 +02:00
releasenotes-where.txt	…