|
|
722.
|
|
|
Insert current date and time at the cursor position
|
|
|
|
|
Inserta la fecha y hora actual en la posición del cursor
|
|
Translated and reviewed by
Fco. Javier Serrador
|
|
|
|
Located in
../plugins/time/gedit-time-plugin.c:186
|
|
|
723.
|
|
|
Available formats
|
|
|
|
|
Formatos disponibles
|
|
Translated and reviewed by
Fco. Javier Serrador
|
|
|
|
Located in
plugins/time/gedit-time-plugin.c:489
|
|
|
724.
|
|
|
Insert Date/Time
|
|
|
|
|
Insertar fecha/hora
|
|
Translated by
Fco. Javier Serrador
|
|
Reviewed by
Paco Molinero
|
|
|
|
Located in
plugins/time/time.plugin.desktop.in:5
|
|
|
725.
|
|
|
Inserts current date and time at the cursor position.
|
|
|
|
|
Inserta la fecha y hora actual en la posición del cursor.
|
|
Translated by
Jorge González
|
|
Reviewed by
Paco Molinero
|
|
|
|
Located in
plugins/time/time.plugin.desktop.in:6
|
|
|
726.
|
|
|
Custom Format
|
|
|
|
|
Formato personalizado
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
plugins/time/org.gnome.gedit.plugins.time.gschema.xml:15
|
|
|
727.
|
|
|
If the user should be prompted for a format or if the selected or custom format should be used.
|
|
|
|
|
Indica si se debería preguntar al usuario el formato o si se debería usar el formato seleccionado o personalizado.
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
plugins/time/org.gnome.gedit.plugins.time.gschema.xml:6
|
|
|
728.
|
|
|
Prompt Type
|
|
|
|
|
Tipo de puntero
|
|
Translated by
Jaime Ernesto Mora
|
|
Reviewed by
Paco Molinero
|
| In upstream: |
|
Tipo de mensaje en pantalla
|
|
|
Suggested by
Daniel Mustieles
|
|
|
|
Located in
plugins/time/org.gnome.gedit.plugins.time.gschema.xml:5
|
|
|
729.
|
|
|
Selected Format
|
|
|
|
|
Formato seleccionado
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
plugins/time/org.gnome.gedit.plugins.time.gschema.xml:10
|
|
|
730.
|
|
|
The custom format used when inserting the date/time.
|
|
|
|
|
El formato predeterminado usado al insertar la fecha/hora.
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
plugins/time/org.gnome.gedit.plugins.time.gschema.xml:16
|
|
|
731.
|
|
|
The selected format used when inserting the date/time.
|
|
|
|
|
El formato seleccionado usado al insertar la fecha/hora.
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
plugins/time/org.gnome.gedit.plugins.time.gschema.xml:11
|
