blob: 86d31ef43a0a7e2cffec6be98a1fc14532752c72 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
//
// !!! THIS IS STILL A CONCEPT/PROTOTYPE. USE AT YOUR OWN RISK !!!
//
// Author: Michal Idziorek <m.i@gmx.at>
//
// Last Update: 16th March 2018
//
// Last Tested: with surf commit 81f0452bc6c2a110239fa303ad1e72f11c33dc94
// from htps://git.suckless.org/surf
//
// The following simple Webkit2GTK+ extension was hacked together
// in the sleepless night between 09th and 10th March 2018 (and later
// refined).
//
// The DOM is manipulated,i.e: a <span> with a number added to every
// link encountered.
//
// Named FIFO pipes are used for communication with the ui process.
//
void piper_init(char *pipe_in,char *pipe_out,void (*callback_func)(char *msg),char *url);
void piper_send(char *msg);
|
