Fix: playPause command name and json editor theme asset loading (#959)

This commit is contained in:
Jas Singh
2025-05-26 23:01:13 -07:00
committed by GitHub
parent fff65524c5
commit 13ad57650f
2 changed files with 2 additions and 2 deletions

View File

@@ -46,7 +46,7 @@ function setupTheme(buffer: GtkSource.Buffer): void {
const styleManager = GtkSource.StyleSchemeManager.get_default(); const styleManager = GtkSource.StyleSchemeManager.get_default();
const currentSearchPath = styleManager.get_search_path(); const currentSearchPath = styleManager.get_search_path();
const assetsPath = `${SRC}/assets`; const assetsPath = `${SRC_DIR}/assets`;
styleManager.set_search_path([assetsPath, ...currentSearchPath]); styleManager.set_search_path([assetsPath, ...currentSearchPath]);
const tokyoNight = styleManager.get_scheme('tokyo-night'); const tokyoNight = styleManager.get_scheme('tokyo-night');

View File

@@ -6,7 +6,7 @@ const mediaPlayerService = MediaPlayerService.getInstance();
export const mediaCommands: Command[] = [ export const mediaCommands: Command[] = [
{ {
name: 'Play/Pause active media player', name: 'playPause',
aliases: ['pp'], aliases: ['pp'],
description: 'Plays or Pauses the active media player.', description: 'Plays or Pauses the active media player.',
category: 'Media', category: 'Media',