mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
Adding file name helps to understand for which file the history will be shown when there is no file in the context, and it is not obvious that a file from the editor is used. GitOrigin-RevId: 3394325f2300058e6789fbd3772f7111b86e7ec3