Skip to content
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

Codemirror enhancements #243

Closed

Conversation

okonomiyaki3000
Copy link
Contributor

CodeMirror is pretty great but wouldn't it be better if we could set a minimum height, change the font face and size to our liking, use line numbers and other such nice things? Yes! To that end, here is a patch.

okonomiyaki3000 and others added 8 commits December 16, 2011 17:05
font family
font size
editor minimum height
use width: auto instead of with: 100% as the latter causes trouble when using line numbers
label the iframe with a class and apply various styling to it rather than .CodeMirror-wrapping
new option to turn on or off inset shadow to give the editor a more '3D' look
@infograf768
Copy link
Member

@okonomiyaki3000
Copy link
Contributor Author

Hmm. It seems this was never picked up before 3.0 and now parts of it are obsolete.

wilsonge pushed a commit that referenced this pull request Jan 23, 2017
Update editor versions in XML files
richard67 pushed a commit to richard67/joomla-cms that referenced this pull request Apr 3, 2020
richard67 pushed a commit to richard67/joomla-cms that referenced this pull request Apr 3, 2020
hans2103 pushed a commit to hans2103/joomla-cms that referenced this pull request Nov 18, 2020
Change padding right/left for submenus
Add negative margin right/left to submenus at level-3 and above
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants