[issue41851] tkinter: add font equal methods

2020-09-28 Thread Tal Einat
Change by Tal Einat : -- assignee: -> docs@python components: +Documentation nosy: +docs@python ___ Python tracker ___ ___

[issue41851] tkinter: add font equal methods

2020-09-28 Thread E. Paine
Change by E. Paine : -- pull_requests: +21465 pull_request: https://github.com/python/cpython/pull/22434 ___ Python tracker ___ ___

[issue41851] tkinter: add font equal methods

2020-09-28 Thread Serhiy Storchaka
Serhiy Storchaka added the comment: I concur with Tal that negating size would be useless feature, and that we do not need an alternate equal() method. When we want to test that two strings are equal ignoring case we do not call a special method equalignorecase(), we just test that

[issue41851] tkinter: add font equal methods

2020-09-28 Thread Tal Einat
Tal Einat added the comment: P.P.S. Re-reading that piece of code for IDLE's font config dialog, that actually looks to be intentional and correct. -- ___ Python tracker ___

[issue41851] tkinter: add font equal methods

2020-09-28 Thread Tal Einat
Tal Einat added the comment: > > I also think using [.equal] wouldn't add anything > I disagree and will stand by this one! Please do note that the full quote was "I also think using it wouldn't add anything, and would be less clear, compared to font1.actual() == font2.actual()". > I

[issue41851] tkinter: add font equal methods

2020-09-26 Thread E. Paine
E. Paine added the comment: > Why would negating the font size convert it from points to pixels?? Oh... I apologise: I clearly didn't think this through. It doesn't "convert" in any sense, it just negates the font size so 16 points becomes 16 pixels. Therefore, it is practically useless