mirror of
https://github.com/microsoft/PowerToys.git
synced 2026-04-03 17:56:44 +02:00
[Monaco]Add option to set font size (#32559)
* Add setting to enable/disable it and add Peek support * Add ability to set font size
This commit is contained in:
committed by
GitHub
parent
5b4da37a43
commit
d9008186cf
@@ -17,6 +17,8 @@
|
||||
var base64code = "[[PT_CODE]]";
|
||||
|
||||
var stickyScroll = ([[PT_STICKY_SCROLL]] == 1) ? true : false;
|
||||
|
||||
var fontSize = [[PT_FONT_SIZE]];
|
||||
|
||||
// Code taken from https://stackoverflow.com/a/30106551/14774889
|
||||
var code = decodeURIComponent(atob(base64code).split('').map(function(c) {
|
||||
@@ -80,6 +82,7 @@
|
||||
|
||||
},
|
||||
stickyScroll: {enabled: stickyScroll},
|
||||
fontSize: fontSize,
|
||||
wordWrap: (wrap?"on":"off") // Word wraps
|
||||
});
|
||||
window.onresize = function (){
|
||||
|
||||
Reference in New Issue
Block a user