We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
I know that i can change default theme in TFM 2.5.3 by editing line 4168.
lines 4165-9:
<script> var editor = ace.edit("editor"); editor.getSession().setMode( {path:"ace/mode/<?php echo $ext; ?>", inline:true} ); //editor.setTheme("ace/theme/twilight"); //Dark Theme editor.setShowPrintMargin(false); // Hide the vertical ruler
And to change default font size, edit line 4183:
$themeEl.val( editor.getTheme() ); $fontSizeEl.val(12).change(); //set default font size in drop down }
PS.: change default font size do not render in the new size, but always in font 12. If you set to 18, ace will open in 12, but shows 18.
It works well, but would be better if there is a variable to change in config.php for both default theme and font size.
config.php
theme
font size
The text was updated successfully, but these errors were encountered:
Thank you, @nerun, for your suggestion. We will take it into consideration for inclusion in a future release.
Sorry, something went wrong.
No branches or pull requests
I know that i can change default theme in TFM 2.5.3 by editing line 4168.
lines 4165-9:
And to change default font size, edit line 4183:
PS.: change default font size do not render in the new size, but always in font 12. If you set to 18, ace will open in 12, but shows 18.
It works well, but would be better if there is a variable to change in
config.php
for both defaulttheme
andfont size
.The text was updated successfully, but these errors were encountered: