« previous next »
Pages: 1 [2]  All   Go Down

Author Topic: The 08 July 2018 build (11428) is out.  (Read 29198 times)

Offline PresidentSkroob

  • Single posting newcomer
  • *
  • Posts: 5
Re: The 08 July 2018 build (11428) is out.
« Reply #15 on: July 20, 2018, 12:53:46 pm »
I understand that it was fixed, but old functionality was very useful for me.
Feature with jumping between warnings if there are no more errors would be great, at least for me:)
Thanks for explaining.
Logged
"evil will always triumph, because good is dumb"

Offline Miguel Gimenez

  • Developer
  • Lives here!
  • *****
  • Posts: 1634
Re: The 08 July 2018 build (11428) is out.
« Reply #16 on: July 20, 2018, 01:23:38 pm »
This patch implements jumping to warnings when there are no errors. I don't post a ticket now because I don't know if developers will like this feature.
« Last Edit: July 20, 2018, 04:42:57 pm by Miguel Gimenez »
Logged

Offline oBFusCATed

  • Developer
  • Lives here!
  • *****
  • Posts: 13406
    • Travis build status
Re: The 08 July 2018 build (11428) is out.
« Reply #17 on: July 20, 2018, 07:41:51 pm »
This patch is too complex. If allow warnings we should jump to them all the time. Not only if there are no errors. The behaviour in the patch would be confusing.
Logged
(most of the time I ignore long posts)
[strangers don't send me private messages, I'll ignore them; post a topic in the forum, but first read the rules!]
Pages: 1 [2]  All   Go Up
« previous next »