User forums > Nightly builds

The 08 July 2018 build (11428) is out.

<< < (4/4)

PresidentSkroob:
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.

Miguel Gimenez:
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.

oBFusCATed:
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.

Navigation

[0] Message Index

[*] Previous page