Можно ли изменить размер шрифта панель проекта?

Если цель переименовывания состоит в том, чтобы заменить resource.txt на лету , и Вы управляете всеми включенными программами, и , частота замены не высока, Вы могли сделать следующее.

Для открытий/читавшего файла:

  1. Открывают "resource.txt", если это перестало работать
  2. , Открывают "resource.old.txt", если это перестало работать
  3. , Открывают "resource.txt" снова, если это перестало работать
  4. , у Вас есть состояние ошибки.

Для замены файла:

  1. Переименовывают "resource.txt" к "resource.old.txt", тогда
  2. Переименовывают "resource.new.txt" к "resource.txt", тогда
  3. Удаляют "resource.old.txt".

, Который удостоверится, все Ваши читатели всегда находят правильный файл.

, Но, легче, должен был бы просто попробовать Ваше открытие в цикле, как:

InputStream inp=null;
StopWatch   tmr=new StopWatch();                     // made up class, not std Java
IOException err=null;

while(inp==null && tmr.elapsed()<5000) {             // or some approp. length of time
    try { inp=new FileInputStream("resource.txt"); }
    catch(IOException thr) { err=thr; sleep(100); }  // or some approp. length of time
    }

if(inp==null) {
     // handle error here - file did not turn up after required elapsed time
     throw new IOException("Could not obtain data from resource.txt file");
     }

... carry on
80
задан Collin Van Dyck 21 March 2011 в 16:21
поделиться

1 ответ

Настройки-> Появление & поведение-> Появление-> Пользовательский шрифт Использования-> размер шрифта Набора

0
ответ дан 24 November 2019 в 09:53
поделиться
Другие вопросы по тегам:

Похожие вопросы: