My Recent Pastes (533 and counting)

Pastes by Jacob Rus (533 and counting)

Pages:

Below are the 8 most recent pasties by Jacob Rus.

July 18, 2006
12:27AM EDT
by Jacob Rus

on adding folder items to this_folder after receiving added_items

        -- do something useful

end adding folder items to

July 17, 2006
6:36PM EDT
by Jacob Rus

let pattern_list_from_file filename = 
  let pattern_list = ref []
  and fp = open_in filename in
    try
      while true do

July 16, 2006
9:47PM EDT
by Jacob Rus

{| border="1" cellpadding="5" cellspacing="0" align="center"
|+'''An example table'''
|-
! style="background:#efefef;" | First header
! colspan="2" style="background:#ffdead;" | Second header

July 16, 2006
1:48PM EDT
by Jacob Rus

                {        name = 'meta.paragraph.markdown';
                        begin = '^(?=\S)';
                        end = '^(?=\s*|;|\*|#|:|=|----)';
                },

July 15, 2006
11:29PM EDT
by Jacob Rus

                                {        name = 'markup.heading.mediawiki';
                                        match = '^=+(?=\s*$)';
                                },
                                {   name = 'markup.heading.mediawiki';
                                    comment = '

July 15, 2006
8:12PM EDT
by Jacob Rus

                                {        name = 'markup.heading.mediawiki';
                                        comment = '
                                                This matches lines which begin and end with some
                                                number of “=” marks.  If they are mismatched, then
                                                interior “=” marks will be treated as invalid.

July 14, 2006
2:08PM EDT
by Jacob Rus

{
        /* This command will let Ctrl-Shift-H turn the previous word
         * into an HTML/XML opening and closing tag pair. */
        "^H" = ( "setMark:",
                 "moveWordBackward:",

July 14, 2006
1:11PM EDT
by Jacob Rus

Was there something wrong with this paste?
Let's try again.

Previous page