The "problem" is that under certain circumstances a use of the delete button may delete a random profile :-) The delete button has been disabled until somebody analyzes the problem.
Am 09.01.2014 15:37, schrieb Chris: > Can someone provide a link to where this problem is described? > -- You received this bug notification because you are a member of Mudlet Makers, which is subscribed to Mudlet. https://bugs.launchpad.net/bugs/1193967 Title: 'Delete profile' disabled in latest git Status in Mudlet the MUD client: Confirmed Bug description: This commit: http://sourceforge.net/p/mudlet/code/ci/bfaed1b67efa2e1c76cb2568a731dc71704e662c/tree/src/dlgConnectionProfiles.cpp?diff=666306cf16ab29983b740e4d6a314efb941eade5 introduced a bug which disables the 'Remove' button. if( profile.size() > 1 ) return; Makes it so any profile which has a name greater than one character can't be deleted. Perhaps it is intended to be: if( profile.size() < 1 ) return; Instead? To manage notifications about this bug go to: https://bugs.launchpad.net/mudlet/+bug/1193967/+subscriptions _______________________________________________ Mailing list: https://launchpad.net/~mudlet-makers Post to : [email protected] Unsubscribe : https://launchpad.net/~mudlet-makers More help : https://help.launchpad.net/ListHelp
