Benjamin Pasero bpasero

I am a software engineer at Microsoft in Zurich, Switzerland since 2011. Our team started VS Code when it was still called Monaco.

bpasero / labels.ts

Created July 13, 2022 11:34

	/*---------------------------------------------------------------------------------------------
	* Copyright (c) Microsoft Corporation. All rights reserved.
	* Licensed under the MIT License. See License.txt in the project root for license information.
	--------------------------------------------------------------------------------------------/

	import { URI } from 'vs/base/common/uri';
	import { dirname, isEqual, basenameOrAuthority } from 'vs/base/common/resources';
	import { IconLabel, IIconLabelValueOptions, IIconLabelCreationOptions } from 'vs/base/browser/ui/iconLabel/iconLabel';
	import { ILanguageService } from 'vs/editor/common/languages/language';
	import { IWorkspaceContextService } from 'vs/platform/workspace/common/workspace';

bpasero / editorGroupView.ts

Created September 11, 2021 15:56

	/*---------------------------------------------------------------------------------------------
	* Copyright (c) Microsoft Corporation. All rights reserved.
	* Licensed under the MIT License. See License.txt in the project root for license information.
	--------------------------------------------------------------------------------------------/

	import 'vs/css!./media/editorgroupview';
	import { EditorGroupModel, IEditorOpenOptions, EditorCloseEvent, ISerializedEditorGroupModel, isSerializedEditorGroupModel } from 'vs/workbench/common/editor/editorGroupModel';
	import { GroupIdentifier, CloseDirection, IEditorCloseEvent, ActiveEditorDirtyContext, IEditorPane, EditorGroupEditorsCountContext, SaveReason, IEditorPartOptionsChangeEvent, EditorsOrder, IVisibleEditorPane, ActiveEditorStickyContext, ActiveEditorPinnedContext, EditorResourceAccessor, IEditorMoveEvent, EditorInputCapabilities, IEditorOpenEvent, IUntypedEditorInput, DEFAULT_EDITOR_ASSOCIATION, ActiveEditorGroupLockedContext, IEditorInput, SideBySide

bpasero / gist:cf2e96e0d1d10af8b59bb09df3b3be8f

Created September 7, 2021 15:43

	/*---------------------------------------------------------------------------------------------
	* Copyright (c) Microsoft Corporation. All rights reserved.
	* Licensed under the MIT License. See License.txt in the project root for license information.
	--------------------------------------------------------------------------------------------/

	import 'vs/css!./media/sidebysideeditor';
	import { Dimension, $, clearNode } from 'vs/base/browser/dom';
	import { Registry } from 'vs/platform/registry/common/platform';
	import { IEditorControl, IEditorPane, IEditorOpenContext, EditorExtensions } from 'vs/workbench/common/editor';
	import { SideBySideEditorInput } from 'vs/workbench/common/editor/sideBySideEditorInput';

bpasero / quickInput.css

Created March 12, 2020 09:56

	/*---------------------------------------------------------------------------------------------
	* Copyright (c) Microsoft Corporation. All rights reserved.
	* Licensed under the MIT License. See License.txt in the project root for license information.
	--------------------------------------------------------------------------------------------/

	.quick-input-widget {
	position: absolute;
	width: 600px;
	z-index: 2000;
	padding-bottom: 6px;

bpasero / index.html

Created October 31, 2018 10:25

Electron Fiddle Gist

	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="UTF-8">
	<title>Hello World!</title>
	</head>
	<body>
	<h1>Hello World!</h1>
	<!-- All of the Node.js APIs are available in this renderer process. -->
	We are using Node.js <script>document.write(process.versions.node)</script>,

bpasero / index.js

Created October 4, 2018 14:40

sqlite usage


	//@ts-check
	'use strict';

	/** @typedef {import('sqlite3').Database} Database */
	/** @typedef {import('sqlite3').Statement} Statement */

	const VERBOSE = false;

	const sqlite = VERBOSE ? require('sqlite3').verbose() : require('sqlite3');

bpasero / index.html

Created September 9, 2018 15:51

Electron Fiddle Gist

	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="UTF-8">
	<title>Hello World!</title>
	</head>
	<body>
	<h1>Hello World!</h1>
	<!-- All of the Node.js APIs are available in this renderer process. -->
	We are using Node.js <script>document.write(process.versions.node)</script>,

bpasero / index.html

Created September 9, 2018 14:50

Electron Fiddle Gist

	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="UTF-8">
	<title>Hello World!</title>
	</head>
	<body>
	<h1>Hello World!</h1>
	<!-- All of the Node.js APIs are available in this renderer process. -->
	We are using Node.js <script>document.write(process.versions.node)</script>,

bpasero / index.html

Created September 2, 2018 10:51

Electron Fiddle Gist

	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="UTF-8">
	<title>Hello World!</title>
	</head>
	<body>
	<h1>Hello World!</h1>
	<!-- All of the Node.js APIs are available in this renderer process. -->
	We are using Node.js <script>document.write(process.versions.node)</script>,

bpasero / index.html

Created August 23, 2018 10:06

Electron Fiddle Gist

	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="UTF-8">
	<title>Hello World!</title>
	</head>
	<body>
	<h1>Hello World!</h1>
	<!-- All of the Node.js APIs are available in this renderer process. -->
	We are using Node.js <script>document.write(process.versions.node)</script>,