Hi, * Jörg Fischer wrote (2008-01-04 15:22): >Thorsten Haude wrote: > >> It sure is, that's why I wondered why you would bring these things up. >> I don't mind if additional bugs are closed before the release, but we >> should focus on the release-criticals. > >[ 1065303 ] screen refreshment error -> priority 9 >[ 1717911 ] cursor not erased completely -> priority 5 > >In both cases I read something like "select something and hit >backspace then the cursor isn't erased completely"[1]. So, we should >focus on the priority 9 one and be questioned when mentioning the >other one?
Indeed, and it was nothing more than a question. I don't mind going
back to Phase 1, because I'm sure we will complete it quickly.
But I'm puzzled why this comes up only now. I called for a discussion
about this more than once, the result was unanimous. That we had an
extremely low voter output is beside the point; as I said, I don't
mind a re-vote. But please don't be surprised if I am.
>> >> >#1628593 Unnecessary window grow when opening file
>> >> >
>> >I have applied it for testing. I got compiler warnings about const in
>> >static int updateGutterWidth(const WindowInfo* window) and
>> >static int updateLineNumDisp(const WindowInfo* window)
>>
>> That's my const, and it's more documentation than of real value. I
>> wonder about the warnings though, what compiler do you use and at what
>> -W level?
>
>gcc with default -W level (ie, don't given on command line), but I
>thought Bert submitted the patch. Anyway, it's pretty clear if one
>tells the compiler a variable would be const and then uses it as
>non-const the compiler informs you that const was discarded, unless
>one turns warnings off completely.
Of course that's what you meant, I got you completely wrong. I want to
look over all patches before applying them, and as I said, I was
sidetracked on this one.
Thorsten
--
Everyone has the right to freedom of expression. This right shall include
freedom to hold opinions and to receive and impart information and ideas
without interference by public authority and regardless of frontiers.
- Charter of Fundamental Rights of the European Union, Article 11
pgpQb3oLz0JBV.pgp
Description: PGP signature
-- NEdit Develop mailing list - [email protected] http://www.nedit.org/mailman/listinfo/develop
