jpicedt.jpicedt_env
Class UserSettingsDirectory

java.lang.Object
  jpicedt.jpicedt_env.UserSettingsDirectory

public class UserSettingsDirectory
extends Object

Cette classe sert de conteneur pour la fonction statique getUserSettingsDirectory.

Since:

jPicEdt 1.6

Author:

Vincent Belaïche

Constructor Summary

UserSettingsDirectory()

Method Summary

static String

getUserSettingsDirectory() Renvoie le répertoire domicile de jPicEdt.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UserSettingsDirectory

public UserSettingsDirectory()

Method Detail

getUserSettingsDirectory

public static String getUserSettingsDirectory()

Renvoie le répertoire domicile de jPicEdt.

Since:

jPicEdt 1.6