AdamGoucher - added an addPlugin function to the se-ide api. eventually it will be used for, well, any number of things -- but first a panel in the options screen which has all the plugins for ide. Managing stuff within the same thing is a good idea generally
AdamGoucher - added an addPlugin function to the se-ide api. eventually it will be used for, well, any number of things -- but first a panel in the options screen which has all the plugins for ide. Managing stuff within the same thing is a good idea generally


git-svn-id: 4179480af2c2519a5eb5e1e9b541cbdf5cf27696@8305 07704840-8298-11de-bf8c-fd130f914ac9

mfazekas/safaridriver,mfazekas/safaridriver,mfazekas/safaridriver,mfazekas/safaridriver,mfazekas/safaridriver,mfazekas/safaridriver,mfazekas/safaridriver,mfazekas/safaridriver