| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
| |
radiobutton. Thanks to Adil Gourinda.
|
|
|
| |
on macOS.
|
|\ |
|
| |
| |
| |
| | |
on Mac
|
|/ |
|
| |
|
|
|
|
| |
mentioned -rmargin1 instead of -rmargin. This little error was mentioned in [aadbe6dd95].
|
|\
| |
| |
| | |
scripts. Thanks to Brad Lanam.
|
| |
| |
| |
| | |
scripts. Thanks to Brad Lanam.
|
|/ |
|
|
|
|
| |
patch was proposed by Arjen Markus.
|
| |
|
|\ |
|
| |
| |
| |
| | |
documentation of -border in the same way as for -padding
|
| | |
|
|/ |
|
|
|
|
| |
clarification
|
|\ |
|
| |
| |
| |
| | |
work any more and it doesn't seem to care anyone.
|
| | |
|
|/ |
|
|
|
|
| |
returns false
|
|\ |
|
| | |
|
| | |
|
|/
|
|
| |
for tags only applies to a displayline if it applies to the first non-elided character on that display line
|
| |
|
| |
|
|
|
|
| |
-[lr]margincolor tag option > -background tag option > -background widget option
|
| |
|
|
|
|
| |
al. Patch provided by Simon Bachmann.
|
| |
|
| |
|
| |
|
| |
|
| |
|
|\ |
|
| |\ |
|
| | | |
|
| | |
| | |
| | |
| | | |
option 2: don't change the behavior of the text widget, but document it better.
|
| | |
| | |
| | |
| | | |
database.
|
|\ \ \ |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
about TIP #443
|
|\ \ \ \
| |/ / / |
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | | |
|