##// END OF EJS Templates
s/mode/language/...
Min RK -
Show More
@@ -125,7 +125,7 b' define(['
125 .text(modeinfo.name)
125 .text(modeinfo.name)
126 .attr(
126 .attr(
127 'title',
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 .text(info.name)
145 .text(info.name)
146 .click(make_set_mode(info))
146 .click(make_set_mode(info))
147 .attr('title',
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 <li id="menu-line-numbers"><a href="#">Toggle Line Numbers</a></li>
63 <li id="menu-line-numbers"><a href="#">Toggle Line Numbers</a></li>
64 </ul>
64 </ul>
65 </li>
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 <ul id="mode-menu" class="dropdown-menu">
67 <ul id="mode-menu" class="dropdown-menu">
68 </ul>
68 </ul>
69 </li>
69 </li>
General Comments 0
You need to be logged in to leave comments. Login now