-
-
Notifications
You must be signed in to change notification settings - Fork 5.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Web editor indentation #11
Comments
|
Customization options could be saved to |
What would be the scope of the saved changes? The repo? The filetype? The filepath? The session? |
I'd say per-user options are sufficient. If you want finer control, you're better of placing a |
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs during the next 2 weeks. Thank you for your contributions. |
This issue has been automatically closed because of inactivity. You can re-open it if needed. |
* Fixes error 500 when trying to create a User or na Organization project * Made the issue sidebar template consistent with the mew issue sidebar Moved the Project under the Milestone * Fix for create a User or na Organization project showing * Revents 7eb8846 * Revert "Fix for create a User or na Organization project showing" This reverts commit 7fc0ac9. * Removes User and Organization Projects from the frontend
Now with web editor working fine, I think that is necessary to set configurations by default or defined by user for better experience with web editor.
On PHP, javascript and I think that Go (Unknwon talk me if I'm wrong) we prefer 4 spaces indentation.
However, HTML and CSS developers normally prefer 2 spaces indentation. Have cases on other developers prefer tabulation instead spaces.
Because this I think that web editor can be configurable, one good example for this is on Bitbucket, you can set options in own editor.
Or this configuration can be defined on user settings on only on admin area.
What you think guys?
Reference: gogs/gogs#3460 (comment)
--- Want to back this issue? **[Post a bounty on it!](https://www.bountysource.com/issues/38896626-web-editor-indentation?utm_campaign=plugin&utm_content=tracker%2F47456670&utm_medium=issues&utm_source=github)** We accept bounties via [Bountysource](https://www.bountysource.com/?utm_campaign=plugin&utm_content=tracker%2F47456670&utm_medium=issues&utm_source=github).Reference: gogs/gogs#3610
The text was updated successfully, but these errors were encountered: