summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhil Hughes <me@iamphill.com>2018-01-15 10:20:55 +0000
committerPhil Hughes <me@iamphill.com>2018-01-15 10:20:55 +0000
commitaf79397f37f8f9e1f21017d42b7ec98d6ff79263 (patch)
tree3b1a9f4663b11bf73c01fac4cdb187c25c17372a
parentf402762d2c315f462fb3c805990b9842953bc8dc (diff)
downloadgitlab-ce-af79397f37f8f9e1f21017d42b7ec98d6ff79263.tar.gz
Remove IDE option from user preferences
-rw-r--r--app/views/profiles/preferences/show.html.haml17
1 files changed, 0 insertions, 17 deletions
diff --git a/app/views/profiles/preferences/show.html.haml b/app/views/profiles/preferences/show.html.haml
index aeae7455a1c..66d1d1e8d44 100644
--- a/app/views/profiles/preferences/show.html.haml
+++ b/app/views/profiles/preferences/show.html.haml
@@ -3,23 +3,6 @@
= render 'profiles/head'
= form_for @user, url: profile_preferences_path, remote: true, method: :put, html: { class: 'row prepend-top-default js-preferences-form' } do |f|
- .col-lg-4
- %h4.prepend-top-0
- Web IDE (Beta)
- %p Enable the new web IDE on this device to make it possible to open and edit multiple files with a single commit
- .col-lg-8.multi-file-editor-options
- = label_tag do
- .preview.append-bottom-10= image_tag "multi-editor-off.png"
- = f.radio_button :multi_file, "off", checked: true
- Off
- = label_tag do
- .preview.append-bottom-10= image_tag "multi-editor-on.png"
- = f.radio_button :multi_file, "on", checked: false
- On
-
- .col-sm-12
- %hr
-
.col-lg-4.application-theme
%h4.prepend-top-0
GitLab navigation theme