diff options
| author | 6543 <24977596+6543@users.noreply.github.com> | 2019-10-15 12:44:36 +0200 |
|---|---|---|
| committer | Lauris BH <lauris@nix.lv> | 2019-10-15 13:44:36 +0300 |
| commit | d7d348ea86bd8066aeb079ad121120095d5cba4d (patch) | |
| tree | 20ae4c56632dcf03889cbd3a86c27ada62ff46e5 /options | |
| parent | 1e9b33052553bb546ca526f04816579e2853c8da (diff) | |
| download | gitea-d7d348ea86bd8066aeb079ad121120095d5cba4d.tar.gz gitea-d7d348ea86bd8066aeb079ad121120095d5cba4d.zip | |
[UI] Pull Request Download diff Button (#8470)
* Add Diff Download to Compare List
* Add&Change Text for Diff Options
* move button to seperate template
* add drop down menue with options
* Update: Compare
update Gogs, BitBucket, RhodeCode and remove gitea issue link
Co-Authored-By: Lauris BH <lauris@nix.lv>
* remove last things from TESTing
Diffstat (limited to 'options')
| -rw-r--r-- | options/locale/locale_en-US.ini | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index b5a3d8c592..45b86dea9a 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -1370,7 +1370,10 @@ diff.parent = parent diff.commit = commit diff.git-notes = Notes diff.data_not_available = Diff Content Not Available -diff.show_diff_stats = Show Diff Stats +diff.options_button = Diff Options +diff.show_diff_stats = Show Stats +diff.download_patch = Download Patch File +diff.download_diff = Download Diff File diff.show_split_view = Split View diff.show_unified_view = Unified View diff.whitespace_button = Whitespace |