diff options
| author | Lukas <LukBukkit@users.noreply.github.com> | 2019-10-16 21:28:41 +0200 |
|---|---|---|
| committer | Lauris BH <lauris@nix.lv> | 2019-10-16 22:28:41 +0300 |
| commit | de4f10be86b207b087ba9781c628fe3d7b059f7b (patch) | |
| tree | 6c522c45ad076b1dc167d65d2c2dc1d91cbda8d9 /options | |
| parent | d4cd4ed4422be222088dd8535a228b906f43fdc2 (diff) | |
| download | gitea-de4f10be86b207b087ba9781c628fe3d7b059f7b.tar.gz gitea-de4f10be86b207b087ba9781c628fe3d7b059f7b.zip | |
Allow committing / adding empty files using the web ui (#8420) (#8532)
* Allow committing / adding empty files from the web ui (#8420)
Signed-off-by: LukBukkit <luk.bukkit@gmail.com>
* Add a modal to confirm the commit of an empty file
Signed-off-by: LukBukkit <luk.bukkit@gmail.com>
Diffstat (limited to 'options')
| -rw-r--r-- | options/locale/locale_en-US.ini | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 4d73d91aa2..4923f2f884 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -726,6 +726,8 @@ editor.file_editing_no_longer_exists = The file being edited, '%s', no longer ex editor.file_deleting_no_longer_exists = The file being deleted, '%s', no longer exists in this repository. editor.file_changed_while_editing = The file contents have changed since you started editing. <a target="_blank" rel="noopener noreferrer" href="%s">Click here</a> to see them or <strong>Commit Changes again</strong> to overwrite them. editor.file_already_exists = A file named '%s' already exists in this repository. +editor.commit_empty_file_header = Commit an empty file +editor.commit_empty_file_text = The file you're about commit is empty. Proceed? editor.no_changes_to_show = There are no changes to show. editor.fail_to_update_file = Failed to update/create file '%s' with error: %v editor.add_subdir = Add a directory… |