Archive for Uncategorized

Le pousseur de fenêtre

Pour changer une fenêtre de place, il faut habituellement cliquer dans la barre de titre, puis maintenir cliqué, et bouger la souris : cela change la fenêtre de place.

Il est inutile de procéder autrement. Donc le jinutilitaire le fait ! Sur le principe suivant : lorsque la souris entre dans la fenêtre, celle ci se déplace pour que son bord se cale sur la souris.

Voici le jnlp qui va bien pour expérimenter la chose (pour fermer la seule solution est ALT-F4), le code source brut, et le code source colorié.

Il n’y a rien de très subtil dans le code du pousse fenêtre ; tout est basé sur un MouseInputAdapter, qui repère les déplacements de la souris, et repousse la fenêtre.

Rien n’est parfait en ce bas monde, et il y a quelques difficultés non résolues, qui le seront peut être plus tard.

Effets du defaultLookAndFeelDecorated

Effets du defaultLookAndFeelDecorated


La première est que dans une fenêtre, on ne reçoit pas les événements souris sur la barre de titre, à moins d’imposer les décorations du look and feel java. On agit là dessus par JFrame.setDefaultLookAndFeelDecorated. Je l’ai mis à true.

Et puis… il n’y a pas de tests (on verra plus tard).

Et puis… c’est pas très fluide (on verra plus tard).

Et puis… si on arrive au bord de l’écran ? (plus tard)

Et puis… s’il n’y a pas de souris ? (jamais)

Et puis… ça sert à rien (jamais).

Laissez un commentaire