Query name does not get updated in list when changed

[Mathias Andersen]

When you change the name of a query the change is not reflected in the list of queries.

Bug was found on Ubuntu.

[Jiri Srba (srba)]

I tried on Mac, changed the query name and it was changed on the list
(though if I run verification only after it is finished). Is this the issue or is it something else?

[Mathias Andersen (mande09)]

When I open a query, change the name and then press save, the name is not changed. If I then click with the mouse in the text box area containing the queries (in the white space) the name gets updated instantly. It does not help to click with the mouse in other places.

[Jiri Srba (srba)]

I tried on Mac OS X and Ubuntu but cannot reproduce the error. I try to open the intro example, open the query,
change its name to TEST and then click "Save" in the dialog. The dialog closes and query gets updated both on
Mac and linux. What ubuntu and what Java do you use?

[Mathias Andersen (mande09)]

Hi Jiri,

   hmm, that's weird. Do you run Ubuntu through virtual box? Maybe that matters. I have Java version 1.6.0_23 and Ubuntu 11.10. The bug was first detected on my laptop, but it is also present on my home pc (stationary pc). They both run Ubuntu 11.10.

Best regards Mathias
________________________________________
Fra: <email address hidden> [<email address hidden>] p&#229; vegne af Jiri Srba [<email address hidden>]
Sendt: 17. marts 2012 09:05
Til: Mathias Andersen
Emne: [Bug 956793] Re: Query name does not get updated in list when changed

I tried on Mac OS X and Ubuntu but cannot reproduce the error. I try to open the intro example, open the query,
change its name to TEST and then click "Save" in the dialog. The dialog closes and query gets updated both on
Mac and linux. What ubuntu and what Java do you use?

--
You received this bug notification because you are subscribed to the bug
report.
https://bugs.launchpad.net/bugs/956793

Title:
  Query name does not get updated in list when changed

Status in TAPAAL:
  New

Bug description:
  When you change the name of a query the change is not reflected in the
  list of queries.

  Bug was found on Ubuntu.

To manage notifications about this bug go to:
https://bugs.launchpad.net/tapaal/+bug/956793/+subscriptions

[Kenneth Yrke Jørgensen (yrke)]

I can reproduce on ubuntu 10.11, but only if there is one querie in the list

[Kenneth Yrke Jørgensen (yrke)]

I was wrong, its also a problem if there are more queries

[Kenneth Yrke Jørgensen (yrke)]

but only sometimes

[Jiri Srba (srba)]

I tried again but cannot reproduce it (created, deleated, renamed queries). Could some of you send me a precise sequence
of clicks from the start that will cause this problem?

[Jiri Srba (srba)]

Also, a possible easy fix would be to force the change of focus to the query panel when the Save button is pressed.