我使用 jupyter 笔记本创建 python 笔记( sort of) 用于虚拟讲座 。 我喜欢使用 vscode 而不是 jupyter 实验室 。 但不幸的是, 标记后输出的字体大小太小( 无法在虚拟电话的参与者屏幕上看到 ) 。
在使用 jupyter 实验室时, 我曾经缩放整个浏览器。 但我无法在 vscode 中做到这一点, 也找不到任何设置来改变它的字体大小 。
更改字体大小的设置仅适用于 vs 代码编辑器窗口。
有没有人知道 我怎样才能增加体积?
P. S. - 我知道我们可以在每行上使用 来增加其大小, 但我不能在每行之前加上 , 因为我需要做一个相当大的文件。 您可以理解图像的标准大小有多小 。
正在将新设置添加到 vscode :
notebook.margup.fontSize (编码)
马上就要进入内幕建设V1.63了
见
在打开的新窗口中单击 < 坚固> 图标 < 坚固 > 右上方 < /坚固 > 和 < 坚固 > 选择自定义笔记本板布局 < /坚固 > 。 您可以更改字体大小 。
首先,我们可以使用 ctrl 和 /code> 在窗口中缩放 。
但这又导致另一个问题, 使窗口中的所有元素都变得更大, 比如侧边栏和菜单栏 。
顺便说一下, 更改编辑器字体大小只会更改可编辑的代码块。 更改标记减慢预览字体大小也无济于事 。
他们正在考虑中, 您可以参考 这里
您可以使用 cs 将块插入 div 块中,并将字体大小设置到此块中:
<div style=style="font-size: 12px">
//your stuffs here
</div>
以下设置可用于更改字体大小 。
笔记本 *标记:字体大小
笔记本 {} 输出: 字体大小
Is there a way to force Django models to pass a field to a MySQL function every time the model data is read or loaded? To clarify what I mean in SQL, I want the Django model to produce something like ...
I am looking for an enterprise tasks scheduler for python, like quartz is for Java. Requirements: Persistent: if the process restarts or the machine restarts, then all the jobs must stay there and ...
Given the following list that contains some duplicate and some unique dictionaries, what is the best method to remove unique dictionaries first, then reduce the duplicate dictionaries to single ...
Simple enough question: I m using python random module to generate random integers. I want to know what is the suggested value to use with the random.seed() function? Currently I am letting this ...
I m using PyDev under Eclipse to write some Jython code. I ve got numerous instances where I need to do something like this: import com.work.project.component.client.Interface.ISubInterface as ...
Python s paster serve app.ini is taking longer than I would like to be ready for the first request. I know how to profile requests with middleware, but how do I profile the initialization time? I ...
Our business currently has an online store and recently we ve been offering free specials to our customers. Right now, we simply display the special and give the buyer a notice stating we will add the ...
I m trying to convert a Python dictionary into a Python list, in order to perform some calculations. #My dictionary dict = {} dict[ Capital ]="London" dict[ Food ]="Fish&Chips" dict[ 2012 ]="...