Siegfried-Angel Gevatter Pujals 3ffc510be7 runDialog.js: really update the enableInternalCommands when the key changes ...

The run dialog uses the "development_tools" gconf key to determine
whether funcions like "lg" or "restart" should be enabled, but it
failed to notice it on the run when said key changed. This commit
fixes this.

2009-09-25 20:10:45 +02:00

..

misc

dash: Make recent docs display two columns

2009-08-20 19:37:50 -04:00

ui

runDialog.js: really update the enableInternalCommands when the key changes

2009-09-25 20:10:45 +02:00

Makefile.am

…