Skip to main content

Browse the archive

Staging
v0.5.1
Revision 877880fe6fc9fccbb1a1f5ca5173a330295f2392 authored by alain leufroy on 09 May 2013, 14:17:05 UTC, committed by alain leufroy on 09 May 2013, 14:17:05 UTC 
[tui] fix source area stroke
 
If the full widget height equal the displayed height, the stroke is 0.
So, the source is fully displayed.

This change fix a ZeroDivisionError.

:related to: #119019
1 parent a10b422
Raw File
.hgignore 
syntax: glob
build/
*.pyc
*.orig
*_ui.py
*_rc.py
back to top