##// END OF EJS Templates
s/mode/language/...
Min RK -
Show More
@@ -125,7 +125,7 b' define(['
125 125 .text(modeinfo.name)
126 126 .attr(
127 127 'title',
128 "The current highlighting mode is " + modeinfo.name
128 "The current language is " + modeinfo.name
129 129 );
130 130 });
131 131 };
@@ -145,7 +145,7 b' define(['
145 145 .text(info.name)
146 146 .click(make_set_mode(info))
147 147 .attr('title',
148 "Set highlighting mode to " + info.name
148 "Set language to " + info.name
149 149 )
150 150 ));
151 151 }
@@ -63,7 +63,7 b' data-file-path="{{file_path}}"'
63 63 <li id="menu-line-numbers"><a href="#">Toggle Line Numbers</a></li>
64 64 </ul>
65 65 </li>
66 <li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">Mode</a>
66 <li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">Language</a>
67 67 <ul id="mode-menu" class="dropdown-menu">
68 68 </ul>
69 69 </li>
General Comments 0
You need to be logged in to leave comments. Login now