private static void configureEncoding(ProjectProperties projectProperties, EditableProperties sharedProperties, EditableProperties privateProperties) { Charset charset = projectProperties.getCharset(); sharedProperties.setProperty(PhpProjectProperties.SOURCE_ENCODING, charset.name()); // #136917 FileEncodingQuery.setDefaultEncoding(charset); }
if (value != null) { try { FileEncodingQuery.setDefaultEncoding(Charset.forName(value)); } catch (UnsupportedCharsetException e) {
if (value != null) { try { FileEncodingQuery.setDefaultEncoding(Charset.forName(value)); } catch (UnsupportedCharsetException e) {
if (value != null) { try { FileEncodingQuery.setDefaultEncoding(Charset.forName(value)); } catch (UnsupportedCharsetException e) {
if (encoding != null) { try { FileEncodingQuery.setDefaultEncoding(Charset.forName(encoding)); } catch (UnsupportedCharsetException e) {
FileEncodingQuery.setDefaultEncoding(Charset.forName(encoding)); } catch (UnsupportedCharsetException e) {
if (value != null) { try { FileEncodingQuery.setDefaultEncoding(Charset.forName(value)); } catch (UnsupportedCharsetException e) {