Home
last modified time | relevance | path

Searched refs:new_titles (Results 1 – 7 of 7) sorted by relevance

/dports/math/ascent/Ascent-0.7.0/include/ascent/
H A DRecorder.h116 void add_titles(const std::vector<std::string>& new_titles) in add_titles()
118 for (auto& title : new_titles) in add_titles()
163 void record(std::vector<T>& v, const std::vector<std::string>& new_titles) in record()
165 for (auto& title : new_titles) in record()
/dports/science/gramps/gramps-5.1.4/gramps/plugins/tool/
H A Deventcmp.py414 new_titles = []
421 new_titles.append(title)
423 spreadsheet.initialize(len(new_titles))
425 spreadsheet.write_table_head(new_titles)
/dports/editors/vim/vim-8.2.3745/src/
H A Dgui_photon.c992 char **new_titles = NULL; in gui_ph_pg_add_buffer() local
994 new_titles = ALLOC_MULT(char *, (num_panels + 1)); in gui_ph_pg_add_buffer()
995 if (new_titles != NULL) in gui_ph_pg_add_buffer()
998 memcpy(new_titles, panel_titles, num_panels * sizeof(char **)); in gui_ph_pg_add_buffer()
1000 new_titles[ num_panels++ ] = name; in gui_ph_pg_add_buffer()
1006 panel_titles = new_titles; in gui_ph_pg_add_buffer()
1014 char **new_titles = NULL; in gui_ph_pg_remove_buffer() local
1019 new_titles = ALLOC_MULT(char *, num_panels - 1); in gui_ph_pg_remove_buffer()
1020 if (new_titles != NULL) in gui_ph_pg_remove_buffer()
1022 char **s = new_titles; in gui_ph_pg_remove_buffer()
[all …]
/dports/textproc/py-sphinx/Sphinx-3.5.2/build/lib/sphinx/search/
H A D__init__.py389 new_titles = {}
393 new_titles[docname] = self._titles[docname]
395 self._titles = new_titles
/dports/textproc/py-sphinx/Sphinx-3.5.2/sphinx/search/
H A D__init__.py389 new_titles = {}
393 new_titles[docname] = self._titles[docname]
395 self._titles = new_titles
/dports/textproc/py-sphinx/stage/usr/local/lib/python3.8/site-packages/sphinx/search/
H A D__init__.py389 new_titles = {}
393 new_titles[docname] = self._titles[docname]
395 self._titles = new_titles
/dports/textproc/py-orange3-text/orange3-text-1.3.1/orangecontrib/text/
H A Dcorpus.py219 new_titles = []
224 new_titles.append(t)
225 return new_titles