gsettings set org.gnome.desktop.input-sources xkb-options "['caps:backspace']"This remapping persists across reboots.
| { | |
| "workbench.colorCustomizations": { | |
| "editor.background": "#000000", | |
| "sideBar.background": "#000000", | |
| "terminal.background": "#000000", | |
| "statusBar.background": "#000000", | |
| "activityBar.background": "#000000", | |
| "tab.inactiveBackground": "#000000" | |
| } | |
| } |
| import pretty_midi as pm | |
| from itertools import cycle | |
| import matplotlib.pyplot as plt | |
| import matplotlib.patches as patches | |
| def plot_midi(midi: pm.PrettyMIDI): | |
| fig, ax = plt.subplots() | |
| colors = plt.rcParams['axes.prop_cycle'].by_key()['color'] | |
| colors = cycle(colors) |
| import React from 'react'; | |
| import {Animated, StyleSheet, Text} from 'react-native'; | |
| function generateData() { | |
| return [...Array(100)].map(Math.random); | |
| } | |
| const data = generateData(); | |
| function renderItem({item, index}) { |