- 18 Jul, 2020 2 commits
-
-
Gustavo Carneiro authored
-
Tomaz Canabrava authored
-
- 17 Jul, 2020 5 commits
-
-
Gustavo Carneiro authored
-
Gustavo Carneiro authored
-
Gustavo Carneiro authored
-
Gustavo Carneiro authored
-
This patch improves the highlightScrolledLines feature in several ways: - fixes some inconsistences in its behavior - optimizes the region that needs to be repainted - fixes cases where the highlight was not cleared correclty when changing some profile properties (e.g. the scroll bar position)
-
- 16 Jul, 2020 14 commits
-
-
Gustavo Carneiro authored
-
Kurt Hindenburg authored
-
Kurt Hindenburg authored
-
Gustavo Carneiro authored
-
Kurt Hindenburg authored
-
Kurt Hindenburg authored
-
Kurt Hindenburg authored
-
Kurt Hindenburg authored
-
-
-
-
-
-
-
- 15 Jul, 2020 15 commits
-
-
Gustavo Carneiro authored
-
Tomaz Canabrava authored
-
Tomaz Canabrava authored
-
Tomaz Canabrava authored
-
Tomaz Canabrava authored
-
Tomaz Canabrava authored
-
Tomaz Canabrava authored
-
Tomaz Canabrava authored
-
Tomaz Canabrava authored
-
Tomaz Canabrava authored
-
Tomaz Canabrava authored
-
-
Script Kiddy authored
In case of conflict in i18n, keep the version of the branch "ours" To resolve a particular conflict, "git checkout --ours path/to/file.desktop"
-
-
Kurt Hindenburg authored
-
- 13 Jul, 2020 2 commits
-
-
-
Script Kiddy authored
In case of conflict in i18n, keep the version of the branch "ours" To resolve a particular conflict, "git checkout --ours path/to/file.desktop"
-
- 12 Jul, 2020 2 commits
-
-