mirror of
https://github.com/aphrody-labs/wordcraft.git
synced 2026-10-13 19:26:53 +00:00
NetterSilverandBrandon Thomas
159b84f54c
* Track Changes: emptying a paragraph no longer turns its mark into the text's revision (#864) Paragraph::delete copies the formatting of what it deletes onto the paragraph mark when it empties the paragraph. That copy included the revision ids, so accepting a tracked deletion of a whole paragraph text made the mark a deleted mark too, and Accept All joined the following paragraph. Rejecting typed text in an empty paragraph likewise rejected the paragraph mark. The mark now keeps its own ins, del and fmt_change. * Credit Silvertree2010 in the About window * Docs: update the progress docs for this change * Docs: Last reviewed stays as it was --------- Co-authored-by: Brandon Thomas <echelon@gmail.com>
75 lines
2.1 KiB
TOML
75 lines
2.1 KiB
TOML
# Contributor names for the About window (craftrules standards/contributors.md).
|
|
#
|
|
# Everyone who contributes is credited by GitHub username automatically. Anything more is up to
|
|
# you: add YOUR OWN entry below, in your own PR (commit it yourself). Never add someone else; a
|
|
# maintainer may add a person only when that person asked, recording where in consent_source.
|
|
#
|
|
# Easiest: python3 ../../craftrules/scripts/contributors.py --add-me . \
|
|
# [--real-name "Ada Lovelace"] [--display-name "Ada"] [--sync-github-name]
|
|
#
|
|
# Or copy this block, replacing your-github-username (every field is optional):
|
|
#
|
|
# [people.your-github-username]
|
|
# real_name = "Your Name" # shown when the viewer picks "Real name"
|
|
# display_name = "Nickname" # shown when the viewer picks "Display name"
|
|
# sync_github_name = true # or: use the name on your public GitHub profile as display name
|
|
#
|
|
# To remove your names, delete your entry (or set fields empty) in a PR. The next
|
|
# contributors.py run, and the next build, drop them.
|
|
|
|
[people.echelon]
|
|
real_name = "Brandon Thomas"
|
|
display_name = "Brandon Thomas"
|
|
sync_github_name = false
|
|
|
|
[people.chiranjeevi-max]
|
|
real_name = "Chiranjeevi Uddanti"
|
|
display_name = "Chiranjeevi U"
|
|
sync_github_name = false
|
|
|
|
[people.saeedemperor]
|
|
real_name = "Saeed Azarehgar"
|
|
|
|
[people.vangel76]
|
|
sync_github_name = true
|
|
|
|
[people.dkhlapov]
|
|
real_name = "Dmitrii Khlapov"
|
|
display_name = "Dima Khlapov"
|
|
sync_github_name = false
|
|
|
|
[people.DanielKnourek]
|
|
real_name = "Daniel Kňourek"
|
|
display_name = "Daniel Kňourek"
|
|
sync_github_name = false
|
|
|
|
[people.arcanii]
|
|
real_name = "Bryan Mark"
|
|
display_name = "Arcanii"
|
|
sync_github_name = false
|
|
|
|
[people.henno]
|
|
sync_github_name = true
|
|
|
|
[people.yeniufuklar-com]
|
|
real_name = "Ufuk Efe"
|
|
display_name = "Ufuk Efe"
|
|
sync_github_name = true
|
|
|
|
[people.GhostMitra]
|
|
[people.DevCoderMax]
|
|
real_name = "Gleyson do Nascimento Carvalho"
|
|
display_name = "Gleyson Carvalho"
|
|
sync_github_name = false
|
|
[people.alexanderalber]
|
|
real_name = "Alexander Alber"
|
|
[people.edurbs]
|
|
|
|
[people.Silvertree2010]
|
|
display_name = "Netter"
|
|
sync_github_name = false
|
|
[people.manucarcor]
|
|
real_name = "Manuel Carmona"
|
|
display_name = "manucarcor"
|
|
[people.odedigo]
|