← Back to team overview

mudlet-makers team mailing list archive

Re: [Bug 1193967] Re: 'Delete profile' disabled in latest git

 

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


Follow ups

References