From 89d32b1075d4bdd6c8f5483cc4d4269edecb00d0 Mon Sep 17 00:00:00 2001
From: Thibaut de Saivre <thibaut.de-saivre@polytechnique.edu>
Date: Wed, 29 Nov 2023 16:50:02 +0100
Subject: [PATCH] update settings
---
.vscode/settings.json | 6 ++++++
python/.vscode/settings.json | 2 ++
2 files changed, 8 insertions(+)
diff --git a/.vscode/settings.json b/.vscode/settings.json
index 4d8407d..022a8cc 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -10,6 +10,12 @@
"editor.minimap.enabled": false, // Hide minimap (along scroll bar)
"editor.mouseWheelZoom": true,
+ // Git settings
+ "git.enableSmartCommit": true,
+
+ // Better window title bar (only works when set in User settings)
+ "window.titleBarStyle": "custom",
+
// Generic extension settings
"todo-tree.highlights.useColourScheme": true,
"code-runner.saveFileBeforeRun": true,
diff --git a/python/.vscode/settings.json b/python/.vscode/settings.json
index dc660b7..0aa228d 100644
--- a/python/.vscode/settings.json
+++ b/python/.vscode/settings.json
@@ -7,6 +7,8 @@
"source.organizeImports": true
},
+ "jupyter.interactiveWindow.textEditor.executeSelection": true,
+
// Python
"[python]": {
"editor.defaultFormatter": "ms-python.black-formatter", // Use Black formatter for python
--
GitLab