335 js/ui/screenshot.js:1869 | ||
English
Translators: this is a filename used for screencast
* recording, where "%d" and "%t" date and time, e.g.
* "Screencast from 07-17-2013 10:00:46 PM.webm"
|
||
335 ../src/main.c:339 | ||
336 js/ui/screenshot.js:1849 | ||
336 js/ui/screenshot.js:2119 | ||
English
Translators: this is the name of the file that the screenshot is
saved to. The placeholder is a timestamp, e.g. "2017-05-21 12-24-03".
|
||
336 js/ui/padOsd.js:728 | ||
336 js/ui/padOsd.js:154 | ||
337 js/ui/screenshot.js:1854 | ||
English
Translators: this is a filename used for screencast
* recording, where "%d" and "%t" date and time, e.g.
* "Screencast from 07-17-2013 10:00:46 PM.webm"
|
||
337 ../src/shell-app.c:622 | ||
337 js/ui/screenshot.js:2165 | ||
337 ../src/shell-app.c:622 | ||
337 js/ui/padOsd.js:775 | ||
337 ../src/shell-app.c:622 | ||
337 js/ui/padOsd.js:223 | ||
337 ../src/shell-app.c:622 | ||
338 js/ui/screenshot.js:1920 • js/ui/screenshot.js:2132 | ||
338 js/ui/screenshot.js:2167 | ||
338 js/ui/padOsd.js:846 | ||
338 js/ui/padOsd.js:726 | ||
339 js/ui/screenshot.js:1926 | ||
339 js/ui/screenshot.js:2220 • js/ui/screenshot.js:2385 | ||