Questions marquées «windows-10»

2
Bloc-notes ++ taille de la police

Pour une raison quelconque, la taille de police utilisée par Notepad ++ pour le rendu des polices de tabulation est soudainement devenue énorme: Il y a des réglages pour cela dans Settings -> Style Configurator -> Global Styles -> Active tab text et Inactive tabs, mais pour une raison...

2
Comment désactiver un raccourci clavier Windows?

J'ai du mal à trouver une réponse à une chose aussi simple. Je veux désactiver le F10raccourci pour ouvrir un menu. Pour une raison quelconque, il semble que ce ne soit pas possible. Je ne veux pas désactiver F10complètement - comme utiliser AutoHotKey. Existe-t-il une méthode intégrée à Windows...

2
SSH: Clientalivemaxcount = 0 avec Putty?

Je m'interroge donc sur le comportement spécifique de mon démon SSH lors de l'utilisation de Clientaliveinterval et Clientalivemaxcount. Supposons la configuration suivante: Clientaliveinterval 60 Clientalivemaxcount 0 Supposons également les autres paramètres suivants: Système d'exploitation...

2
Virtualbox bloque l'hôte pendant quelques secondes

J'utilise Ubuntu 16.04 dans virtualbox en tant que machine de développement (y compris les logiciels unit et gui). J'utilise Windows 10 (dernière mise à jour) en tant que système hôte. Parfois, tout mon PC se bloque pendant quelques secondes. Ceci est lié à virtualbox, car cela ne se produit pas si...

2
Où est tcp fast ouvert en bord?

Question principale: Lorsque j'ai installé Windows 10 pour la première fois, il y avait un paramètre "tcp fast open" dans le navigateur Edge, et maintenant il est parti, comment puis-je l'activer? Histoire de fond: La première fois que j'ai essayé edge, je pensais que vous ne savez quoi, mais après...