mirror of
https://github.com/jupyter/notebook.git
synced 2025-01-24 12:05:22 +08:00
s/mode/language/
for user-facing CodeMirror mode (hover text, language menu)
This commit is contained in:
parent
c81609f5d6
commit
1e5bd77bda
@ -125,7 +125,7 @@ define([
|
|||||||
.text(modeinfo.name)
|
.text(modeinfo.name)
|
||||||
.attr(
|
.attr(
|
||||||
'title',
|
'title',
|
||||||
"The current highlighting mode is " + modeinfo.name
|
"The current language is " + modeinfo.name
|
||||||
);
|
);
|
||||||
});
|
});
|
||||||
};
|
};
|
||||||
@ -145,7 +145,7 @@ define([
|
|||||||
.text(info.name)
|
.text(info.name)
|
||||||
.click(make_set_mode(info))
|
.click(make_set_mode(info))
|
||||||
.attr('title',
|
.attr('title',
|
||||||
"Set highlighting mode to " + info.name
|
"Set language to " + info.name
|
||||||
)
|
)
|
||||||
));
|
));
|
||||||
}
|
}
|
||||||
|
@ -63,7 +63,7 @@ data-file-path="{{file_path}}"
|
|||||||
<li id="menu-line-numbers"><a href="#">Toggle Line Numbers</a></li>
|
<li id="menu-line-numbers"><a href="#">Toggle Line Numbers</a></li>
|
||||||
</ul>
|
</ul>
|
||||||
</li>
|
</li>
|
||||||
<li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">Mode</a>
|
<li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">Language</a>
|
||||||
<ul id="mode-menu" class="dropdown-menu">
|
<ul id="mode-menu" class="dropdown-menu">
|
||||||
</ul>
|
</ul>
|
||||||
</li>
|
</li>
|
||||||
|
Loading…
Reference in New Issue
Block a user