Am Do., 21. März 2019 um 10:39 Uhr schrieb Jürgen Spitzmüller <sp...@lyx.org >:
> * can the tooltip be used to convey explicitly whether the file is from >> user or system dir ? I am not sure that people will understand >> immediately what the icons mean. >> > > Yes, it should do this, but this is currently broken due to the languages > rewrite (same for the icons BTW). > Both fixed now. Jürgen
