diff options
| author | Alyssa Ross <hi@alyssa.is> | 2020-07-23 20:48:21 +0000 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2020-12-27 19:59:50 -0500 |
| commit | bc52b7578b0ebfc228977342ac7bffc999212197 (patch) | |
| tree | c6e2f38e44216864a90393deeb1c8200084f9020 /port/file2c/.gitignore | |
| parent | Show subject in commit page title (diff) | |
| download | src-bc52b7578b0ebfc228977342ac7bffc999212197.tar.gz src-bc52b7578b0ebfc228977342ac7bffc999212197.zip | |
Add "this commit" option to switch form
Branches are grouped into their own section to make the "this commit" option visually distinct. Adding this option will result in two options being marked as selected if a branch has the same name as a commit oid. But that would cause all sorts of other problems anyway (attempting to switch to the branch would actually give you the commit, etc.), so let's not worry about that. A "permalink" link on the blob view next to the "plain" link would probably be more discoverable, but that would only work for the blob view. The switch UI is visible everywhere. Signed-off-by: Alyssa Ross <hi@alyssa.is>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions