annotate src/uicmd.cc @ 942:0dd5f290caa4

Implemented a close-tab button for the GUI
author João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
date Thu, 12 Feb 2009 10:38:09 -0300
parents 217470146a54
children 1a26b2bd7138
rev   line source
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
2 * File: uicmd.cc
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
3 *
35
d9e7b35430de Updated copyright lines
jcid
parents: 27
diff changeset
4 * Copyright (C) 2005-2007 Jorge Arellano Cid <jcid@dillo.org>
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
5 *
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
6 * This program is free software; you can redistribute it and/or modify
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
7 * it under the terms of the GNU General Public License as published by
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
8 * the Free Software Foundation; either version 3 of the License, or
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
9 * (at your option) any later version.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
10 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
11
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
12 // Functions/Methods for commands triggered from the UI
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
13
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
14
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
15 #include <stdio.h>
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
16 #include <stdarg.h>
27
52953eeba59d Hooked vertical scrolling to the mouse wheel.
jcid
parents: 22
diff changeset
17 #include <math.h> /* for rint */
942
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
18
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
19 #include <fltk/draw.h>
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
20 #include <fltk/damage.h>
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
21 #include <fltk/Widget.h>
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
22 #include <fltk/TabGroup.h>
942
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
23 #include <fltk/Tooltip.h>
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
24
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
25 #include "dir.h"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
26 #include "ui.hh"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
27 #include "uicmd.hh"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
28 #include "timeout.hh"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
29 #include "menu.hh"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
30 #include "dialog.hh"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
31 #include "bookmark.h"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
32 #include "history.h"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
33 #include "msg.h"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
34 #include "prefs.h"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
35
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
36 #include "dw/fltkviewport.hh"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
37
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
38 #include "nav.h"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
39
433
jcid
parents: 404
diff changeset
40 #define DEFAULT_TAB_LABEL "Dillo"
jcid
parents: 404
diff changeset
41
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
42 // Handy macro
367
898d503db27b - Added a confirmation dialog for closing with Windows/Tabs > 1
jcid
parents: 364
diff changeset
43 #define BW2UI(bw) ((UI*)((bw)->ui))
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
44
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
45 // Platform idependent part
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
46 using namespace dw::core;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
47 // FLTK related
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
48 using namespace dw::fltk;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
49
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
50
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
51 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
52 * Local data
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
53 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
54 static char *save_dir = NULL;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
55
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
56 using namespace fltk;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
57
942
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
58
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
59 //----------------------------------------------------------------------------
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
60 #define BTN_W 25
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
61 #define BTN_H 20
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
62
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
63 static int btn_x;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
64
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
65 /*
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
66 * Adds a tab-close button at the rightmost part
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
67 */
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
68 class CustShrinkTabPager : public TabGroupPager {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
69 bool btn_hl;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
70 TabGroup *tg;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
71 public:
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
72 int update_positions(
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
73 TabGroup *g, int numchildren, int &selected,
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
74 int &cumulated_width, int &available_width,
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
75 int *tab_pos, int *tab_width);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
76 virtual int which(TabGroup* g, int m_x,int m_y);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
77 virtual TabGroupPager* clone() const;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
78 virtual const char * mode_name() const {return "Shrink";}
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
79 virtual int id() const {return PAGER_SHRINK;}
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
80 virtual int available_width(TabGroup *g) const;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
81 virtual bool draw_tabs(TabGroup* g, int selected, int* tab_pos,
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
82 int* tab_width) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
83 if (!tg) tg = g;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
84 if (g->children() > 1) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
85 fltk::Rectangle r(btn_x,0,BTN_W,BTN_H);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
86 setcolor(btn_hl ? 206 : GRAY75);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
87 fillrect(r);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
88 if (btn_hl) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
89 setcolor(WHITE);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
90 strokerect(r);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
91 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
92 setcolor(GRAY10);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
93 //fltk::setfont(fltk::getfont()->bold(), fltk::getsize());
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
94 r.h(r.h()-2);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
95 drawtext("X", r, ALIGN_CENTER);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
96 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
97 return false;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
98 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
99
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
100 void btn_highlight(bool flag) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
101 if (btn_hl != flag) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
102 btn_hl = flag;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
103 if (tg)
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
104 tg->redraw(DAMAGE_VALUE);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
105 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
106 };
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
107 bool btn_highlight() { return btn_hl; };
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
108
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
109 CustShrinkTabPager() : TabGroupPager() {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
110 noclip(true);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
111 btn_hl = false;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
112 tg = NULL;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
113 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
114 };
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
115
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
116 int CustShrinkTabPager::available_width(TabGroup *g) const
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
117 {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
118 _MSG("CustShrinkTabPager::available_width\n");
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
119 int w = MAX (g->w() - this->slope()-1 - BTN_W, 0);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
120 btn_x = w + 6;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
121 return w;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
122 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
123
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
124 int CustShrinkTabPager::which(TabGroup* g, int event_x,int event_y)
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
125 {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
126 int H = g->tab_height();
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
127 if (!H) return -1;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
128 if (H < 0) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
129 if (event_y > g->h() || event_y < g->h()+H) return -1;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
130 } else {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
131 if (event_y > H || event_y < 0) return -1;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
132 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
133 if (event_x < 0) return -1;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
134 int p[128], w[128];
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
135 int selected = g->tab_positions(p, w);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
136 int d = (event_y-(H>=0?0:g->h()))*slope()/H;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
137 for (int i=0; i<g->children(); i++) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
138 if (event_x < p[i+1]+(i<selected ? slope() - d : d)) return i;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
139 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
140 return -1;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
141 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
142
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
143 /*
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
144 * Prevents tabs from going over the close-tab button.
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
145 * Modified from fltk-2.0.x-r6525.
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
146 */
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
147 int CustShrinkTabPager::update_positions(
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
148 TabGroup *g, int numchildren, int &selected,
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
149 int &cumulated_width, int &available_width,
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
150 int *tab_pos, int *tab_width)
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
151 {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
152 available_width-=BTN_W;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
153
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
154 // uh oh, they are too big, we must move them:
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
155 // special case when the selected tab itself is too big, make it fill
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
156 // cumulated_width:
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
157 int i;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
158
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
159 if (tab_width[selected] >= available_width) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
160 tab_width[selected] = available_width;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
161 for (i = 0; i <= selected; i++)
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
162 tab_pos[i] = 0;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
163 for (i = selected + 1; i <= numchildren; i++)
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
164 tab_pos[i] = available_width;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
165 return selected;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
166 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
167
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
168 int w2[128];
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
169
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
170 for (i = 0; i < numchildren; i++)
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
171 w2[i] = tab_width[i];
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
172 i = numchildren - 1;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
173 int j = 0;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
174
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
175 int minsize = 5;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
176
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
177 bool right = true;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
178
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
179 while (cumulated_width > available_width) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
180 int n; // which one to shrink
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
181
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
182 if (j < selected && (!right || i <= selected)) { // shrink a left one
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
183 n = j++;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
184 right = true;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
185 } else if (i > selected) { // shrink a right one
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
186 n = i--;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
187 right = false;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
188 } else { // no more space, start making them zero
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
189 minsize = 0;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
190 i = numchildren - 1;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
191 j = 0;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
192 right = true;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
193 continue;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
194 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
195 cumulated_width -= w2[n] - minsize;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
196 w2[n] = minsize;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
197 if (cumulated_width < available_width) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
198 w2[n] = available_width - cumulated_width + minsize;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
199 cumulated_width = available_width;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
200 break;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
201 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
202 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
203 // re-sum the positions:
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
204 cumulated_width = 0;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
205 for (i = 0; i < numchildren; i++) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
206 cumulated_width += w2[i];
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
207 tab_pos[i+1] = cumulated_width;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
208 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
209 return selected;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
210 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
211
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
212 TabGroupPager* CustShrinkTabPager::clone() const {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
213 return new CustShrinkTabPager(*this);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
214 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
215
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
216 //----------------------------------------------------------------------------
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
217
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
218 /*
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
219 * For custom handling of keyboard
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
220 */
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
221 class CustTabGroup : public fltk::TabGroup {
942
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
222 Tooltip *toolTip;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
223 bool tooltipEnabled;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
224 bool buttonPushed;
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
225 public:
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
226 CustTabGroup (int x, int y, int ww, int wh, const char *lbl=0) :
942
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
227 TabGroup(x,y,ww,wh,lbl) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
228 this->pager(new CustShrinkTabPager());
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
229 toolTip = new Tooltip;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
230 tooltipEnabled = false;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
231 buttonPushed = false;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
232 };
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
233 ~CustTabGroup() { delete toolTip; }
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
234 int handle(int e) {
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
235 // Don't focus with arrow keys
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
236 _MSG("CustTabGroup::handle %d\n", e);
942
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
237 fltk::Rectangle r(btn_x,0,BTN_W,BTN_H);
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
238 if (e == KEY) {
942
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
239 int k = event_key();
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
240 // We're only interested in some flags
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
241 unsigned modifier = event_state() & (SHIFT | CTRL | ALT);
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
242 if (k == UpKey || k == DownKey || k == TabKey) {
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
243 return 0;
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
244 } else if (k == LeftKey || k == RightKey) {
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
245 if (modifier == SHIFT) {
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
246 int i = value();
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
247 if (k == LeftKey) {i = i ? i-1 : children()-1;}
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
248 else {i++; if (i >= children()) i = 0;}
378
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
249 selected_child(child(i));
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
250 return 1;
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
251 }
388
dfd25e7990be - Avoided focus change with {Left, Right} in CustTabGroup
jcid
parents: 386
diff changeset
252 // Avoid focus change.
930
b277eed3119c whitespace cleanup: 's/ +$//g'
Jorge Arellano Cid <jcid@dillo.org>
parents: 926
diff changeset
253 return 0;
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
254 }
942
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
255 } else if (e == MOVE) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
256 CustShrinkTabPager *cstp = (CustShrinkTabPager *) pager();
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
257 if (event_inside(r) && children() > 1) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
258 /* We're inside the button area */
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
259 cstp->btn_highlight(true);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
260 /* Prepare the tooltip for pop-up */
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
261 tooltipEnabled = true;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
262 /* We use parent() if available because we are returning 0.
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
263 * Returning without having TabGroup processing makes the
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
264 * popup event never reach 'this', but it reaches parent() */
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
265 toolTip->enter(parent() ? parent() : this, r, "Close current Tab");
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
266
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
267 return 0; // Change focus
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
268 } else {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
269 cstp->btn_highlight(false);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
270
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
271 /* Hide the tooltip or enable it again.*/
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
272 if (tooltipEnabled) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
273 tooltipEnabled = false;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
274 toolTip->exit();
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
275 } else {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
276 toolTip->enable();
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
277 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
278 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
279 } else if (e == PUSH && event_inside(r) &&
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
280 event_button() == 1 && children() > 1) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
281 buttonPushed = true;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
282 return 1; /* non-zero */
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
283 } else if (e == RELEASE) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
284 if (event_inside(r) && event_button() == 1 &&
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
285 children() > 1 && buttonPushed) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
286 a_UIcmd_close_bw(a_UIcmd_get_bw_by_widget(selected_child()));
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
287 } else {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
288 CustShrinkTabPager *cstp = (CustShrinkTabPager *) pager();
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
289 cstp->btn_highlight(false);
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
290 }
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
291 buttonPushed = false;
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
292 } else if (e == DRAG) {
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
293 /* Ignore this event */
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
294 return 1;
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
295 }
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
296 return TabGroup::handle(e);
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
297 }
343
de7f0e48470f - Implemented hide tab labels for tabs < 2
jcid
parents: 341
diff changeset
298
350
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
299 void remove (Widget *w) {
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
300 TabGroup::remove (w);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
301 /* fixup resizable in case we just removed it */
442
68639eb89297 - Reduced warnings with gcc-4.3.
jcid
parents: 438
diff changeset
302 if (resizable () == w) {
350
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
303 if (children () > 0)
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
304 resizable (child (children () - 1));
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
305 else
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
306 resizable (NULL);
442
68639eb89297 - Reduced warnings with gcc-4.3.
jcid
parents: 438
diff changeset
307 }
350
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
308
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
309 if (children () < 2)
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
310 hideLabels ();
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
311 }
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
312
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
313 void add (Widget *w) {
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
314 TabGroup::add (w);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
315 if (children () > 1)
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
316 showLabels ();
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
317 }
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
318
343
de7f0e48470f - Implemented hide tab labels for tabs < 2
jcid
parents: 341
diff changeset
319 void hideLabels() {
de7f0e48470f - Implemented hide tab labels for tabs < 2
jcid
parents: 341
diff changeset
320 for (int i = children () - 1; i >= 0; i--)
de7f0e48470f - Implemented hide tab labels for tabs < 2
jcid
parents: 341
diff changeset
321 child(i)->resize(x(), y(), w(), h());
de7f0e48470f - Implemented hide tab labels for tabs < 2
jcid
parents: 341
diff changeset
322 }
de7f0e48470f - Implemented hide tab labels for tabs < 2
jcid
parents: 341
diff changeset
323
de7f0e48470f - Implemented hide tab labels for tabs < 2
jcid
parents: 341
diff changeset
324 void showLabels() {
de7f0e48470f - Implemented hide tab labels for tabs < 2
jcid
parents: 341
diff changeset
325 for (int i = children () - 1; i >= 0; i--)
de7f0e48470f - Implemented hide tab labels for tabs < 2
jcid
parents: 341
diff changeset
326 child(i)->resize(x(), y() + 20, w(), h() - 20);
de7f0e48470f - Implemented hide tab labels for tabs < 2
jcid
parents: 341
diff changeset
327 }
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
328 };
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
329
942
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
330 //----------------------------------------------------------------------------
0dd5f290caa4 Implemented a close-tab button for the GUI
João Ricardo <jorl17.8@gmail.com>, Jorge <jcid@dillo.org
parents: 941
diff changeset
331
367
898d503db27b - Added a confirmation dialog for closing with Windows/Tabs > 1
jcid
parents: 364
diff changeset
332 static void win_cb (fltk::Widget *w, void *cb_data) {
898d503db27b - Added a confirmation dialog for closing with Windows/Tabs > 1
jcid
parents: 364
diff changeset
333 CustTabGroup *tabs;
898d503db27b - Added a confirmation dialog for closing with Windows/Tabs > 1
jcid
parents: 364
diff changeset
334 int choice = 0;
898d503db27b - Added a confirmation dialog for closing with Windows/Tabs > 1
jcid
parents: 364
diff changeset
335
372
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
336 tabs = BW2UI((BrowserWindow*) cb_data)->tabs();
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
337 if (tabs->children () > 1)
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
338 choice = a_Dialog_choice3 ("Window contains more than one tab.",
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
339 "Close all tabs", "Cancel", NULL);
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
340 if (choice == 0)
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
341 while (tabs->children())
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
342 a_UIcmd_close_bw(a_UIcmd_get_bw_by_widget(tabs->child(0)));
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
343 }
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
344
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
345 /*
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
346 * Given a UI or UI child widget, return its bw.
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
347 */
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
348 BrowserWindow *a_UIcmd_get_bw_by_widget(void *v_wid)
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
349 {
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
350 BrowserWindow *bw;
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
351 for (int i = 0; i < a_Bw_num(); ++i) {
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
352 bw = a_Bw_get(i);
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
353 if (((fltk::Widget*)bw->ui)->contains((fltk::Widget*)v_wid))
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
354 return bw;
367
898d503db27b - Added a confirmation dialog for closing with Windows/Tabs > 1
jcid
parents: 364
diff changeset
355 }
372
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
356 return NULL;
367
898d503db27b - Added a confirmation dialog for closing with Windows/Tabs > 1
jcid
parents: 364
diff changeset
357 }
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
358
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
359 /*
378
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
360 * FLTK regards SHIFT + {LeftKey, Right} as navigation keys.
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
361 * Special handling is required to override it. Here we route
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
362 * these events directly to the recipient.
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
363 * TODO: focus is not remembered correctly.
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
364 */
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
365 void a_UIcmd_send_event_to_tabs_by_wid(int e, void *v_wid)
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
366 {
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
367 BrowserWindow *bw = a_UIcmd_get_bw_by_widget(v_wid);
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
368 UI *ui = (UI*)bw->ui;
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
369 if (ui->tabs())
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
370 ui->tabs()->handle(e);
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
371 }
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
372
003d3ebfd78d - Made SHIFT + {Left, Right} work even with findbar focused.
jcid
parents: 376
diff changeset
373 /*
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
374 * Create a new UI and its associated BrowserWindow data structure.
72
fbda2a94d998 - Made "New browser window" inherit the panel style of its parent.
jcid
parents: 56
diff changeset
375 * Use style from v_ui. If non-NULL it must be of type UI*.
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
376 */
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
377 BrowserWindow *a_UIcmd_browser_window_new(int ww, int wh, const void *vbw)
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
378 {
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
379 BrowserWindow *old_bw = (BrowserWindow*)vbw;
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
380 BrowserWindow *new_bw = NULL;
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
381
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
382 if (ww <= 0 || wh <= 0) {
8
ab2998c07f18 enabled geometry in preferences
jcid
parents: 0
diff changeset
383 // Set default geometry from dillorc.
ab2998c07f18 enabled geometry in preferences
jcid
parents: 0
diff changeset
384 ww = prefs.width;
ab2998c07f18 enabled geometry in preferences
jcid
parents: 0
diff changeset
385 wh = prefs.height;
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
386 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
387
350
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
388 Window *win = new Window(ww, wh);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
389 win->shortcut(0); // Ignore Escape
399
256c36a7e70f - Added the double-buffer as preference patch.
jcid
parents: 392
diff changeset
390 if (prefs.buffered_drawing != 2)
256c36a7e70f - Added the double-buffer as preference patch.
jcid
parents: 392
diff changeset
391 win->clear_double_buffer();
352
44a801a15c88 - Set the ::fltk::RAW_LABEL flag for widgets getting labels from html.
jcid
parents: 350
diff changeset
392 win->set_flag(RAW_LABEL);
350
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
393 CustTabGroup *DilloTabs = new CustTabGroup(0, 0, ww, wh);
388
dfd25e7990be - Avoided focus change with {Left, Right} in CustTabGroup
jcid
parents: 386
diff changeset
394 DilloTabs->clear_tab_to_focus();
350
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
395 DilloTabs->selection_color(156);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
396 win->add(DilloTabs);
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
397
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
398 // Create and set the UI
453
817c15b79ca7 - dillorc comment change.
jcid
parents: 446
diff changeset
399 UI *new_ui = new UI(0, 0, ww, wh, DEFAULT_TAB_LABEL,
817c15b79ca7 - dillorc comment change.
jcid
parents: 446
diff changeset
400 old_bw ? BW2UI(old_bw) : NULL);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
401 new_ui->set_status("http://www.dillo.org/");
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
402 new_ui->tabs(DilloTabs);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
403
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
404 DilloTabs->add(new_ui);
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
405 DilloTabs->resizable(new_ui);
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
406 DilloTabs->window()->resizable(new_ui);
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
407 DilloTabs->window()->show();
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
408
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
409 if (old_bw == NULL && prefs.xpos >= 0 && prefs.ypos >= 0) {
91
950979eb5ead - Enabled the geometry offset part (dillorc2).
jcid
parents: 86
diff changeset
410 // position the first window according to preferences
950979eb5ead - Enabled the geometry offset part (dillorc2).
jcid
parents: 86
diff changeset
411 fltk::Rectangle r;
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
412 new_ui->window()->borders(&r);
91
950979eb5ead - Enabled the geometry offset part (dillorc2).
jcid
parents: 86
diff changeset
413 // borders() gives x and y border sizes as negative values
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
414 new_ui->window()->position(prefs.xpos - r.x(), prefs.ypos - r.y());
91
950979eb5ead - Enabled the geometry offset part (dillorc2).
jcid
parents: 86
diff changeset
415 }
950979eb5ead - Enabled the geometry offset part (dillorc2).
jcid
parents: 86
diff changeset
416
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
417 // Now create the Dw render layout and viewport
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
418 FltkPlatform *platform = new FltkPlatform ();
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
419 Layout *layout = new Layout (platform);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
420
86
c6cecbed4727 - Made TopGroup a PackedGroup, simplifying UI code and removing workarounds.
jcid
parents: 72
diff changeset
421 FltkViewport *viewport = new FltkViewport (0, 0, 1, 1);
399
256c36a7e70f - Added the double-buffer as preference patch.
jcid
parents: 392
diff changeset
422 if (prefs.buffered_drawing == 1)
256c36a7e70f - Added the double-buffer as preference patch.
jcid
parents: 392
diff changeset
423 viewport->setBufferedDrawing (true);
256c36a7e70f - Added the double-buffer as preference patch.
jcid
parents: 392
diff changeset
424 else
256c36a7e70f - Added the double-buffer as preference patch.
jcid
parents: 392
diff changeset
425 viewport->setBufferedDrawing (false);
930
b277eed3119c whitespace cleanup: 's/ +$//g'
Jorge Arellano Cid <jcid@dillo.org>
parents: 926
diff changeset
426
86
c6cecbed4727 - Made TopGroup a PackedGroup, simplifying UI code and removing workarounds.
jcid
parents: 72
diff changeset
427 layout->attachView (viewport);
c6cecbed4727 - Made TopGroup a PackedGroup, simplifying UI code and removing workarounds.
jcid
parents: 72
diff changeset
428 new_ui->set_render_layout(*viewport);
50
22a3dedcb1a0 - s/camp/field/ s/CAMP/FIELD/
jcid
parents: 48
diff changeset
429
327
7d83c41d52b9 - Adjusted internal font sizes so the default font_factor is 1.0
jcid
parents: 293
diff changeset
430 viewport->setScrollStep((int) rint(14.0 * prefs.font_factor));
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
431
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
432 // Now, create a new browser window structure
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
433 new_bw = a_Bw_new();
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
434
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
435 // Reference the UI from the bw
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
436 new_bw->ui = (void *)new_ui;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
437 // Copy the layout pointer into the bw data
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
438 new_bw->render_layout = (void*)layout;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
439
372
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
440 win->callback(win_cb, new_bw);
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
441
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
442 return new_bw;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
443 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
444
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
445 /*
350
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
446 * Create a new Tab.
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
447 * i.e the new UI and its associated BrowserWindow data structure.
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
448 */
776
19b91909aa98 some consts
Johannes Hofmann <Johannes.Hofmann@gmx.de>
parents: 490
diff changeset
449 static BrowserWindow *UIcmd_tab_new(const void *vbw)
350
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
450 {
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
451 _MSG(" UIcmd_tab_new vbw=%p\n", vbw);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
452
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
453 dReturn_val_if_fail (vbw != NULL, NULL);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
454
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
455 BrowserWindow *new_bw = NULL;
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
456 BrowserWindow *old_bw = (BrowserWindow*)vbw;
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
457 UI *ui = BW2UI(old_bw);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
458
386
a8f7106d78ee - Workaround for TabGroup max 128 limit.
jcid
parents: 378
diff changeset
459 // WORKAROUND: limit the number of tabs because of a fltk bug
a8f7106d78ee - Workaround for TabGroup max 128 limit.
jcid
parents: 378
diff changeset
460 if (ui->tabs()->children() >= 127)
a8f7106d78ee - Workaround for TabGroup max 128 limit.
jcid
parents: 378
diff changeset
461 return a_UIcmd_browser_window_new(ui->window()->w(), ui->window()->h(),
a8f7106d78ee - Workaround for TabGroup max 128 limit.
jcid
parents: 378
diff changeset
462 vbw);
a8f7106d78ee - Workaround for TabGroup max 128 limit.
jcid
parents: 378
diff changeset
463
350
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
464 // Create and set the UI
433
jcid
parents: 404
diff changeset
465 UI *new_ui = new UI(0, 0, ui->w(), ui->h(), DEFAULT_TAB_LABEL, ui);
350
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
466 new_ui->tabs(ui->tabs());
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
467
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
468 new_ui->tabs()->add(new_ui);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
469 new_ui->tabs()->resizable(new_ui);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
470 new_ui->tabs()->window()->resizable(new_ui);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
471 new_ui->tabs()->window()->show();
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
472
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
473 // Now create the Dw render layout and viewport
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
474 FltkPlatform *platform = new FltkPlatform ();
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
475 Layout *layout = new Layout (platform);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
476
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
477 FltkViewport *viewport = new FltkViewport (0, 0, 1, 1);
930
b277eed3119c whitespace cleanup: 's/ +$//g'
Jorge Arellano Cid <jcid@dillo.org>
parents: 926
diff changeset
478
350
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
479 layout->attachView (viewport);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
480 new_ui->set_render_layout(*viewport);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
481
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
482 viewport->setScrollStep((int) rint(14.0 * prefs.font_factor));
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
483
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
484 // Now, create a new browser window structure
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
485 new_bw = a_Bw_new();
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
486
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
487 // Reference the UI from the bw
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
488 new_bw->ui = (void *)new_ui;
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
489 // Copy the layout pointer into the bw data
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
490 new_bw->render_layout = (void*)layout;
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
491
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
492 return new_bw;
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
493 }
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
494
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
495 /*
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
496 * Close one browser window
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
497 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
498 void a_UIcmd_close_bw(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
499 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
500 BrowserWindow *bw = (BrowserWindow *)vbw;
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
501 UI *ui = BW2UI(bw);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
502 Layout *layout = (Layout*)bw->render_layout;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
503
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
504 MSG("a_UIcmd_close_bw\n");
95
ced56c7bf3f8 - Fixed a segfault bug when closing a bw under active networking.
jcid
parents: 91
diff changeset
505 a_Bw_stop_clients(bw, BW_Root + BW_Img + Bw_Force);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
506 delete(layout);
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
507 if (ui->tabs()) {
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
508 ui->tabs()->remove(ui);
490
a7095f0cfc4f Set tab focus (after tab close) to the most recently opened one.
Jorge Arellano Cid <jcid@dillo.org>
parents: 484
diff changeset
509 ui->tabs()->value(ui->tabs()->children() - 1);
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
510 if (ui->tabs()->value() != -1)
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
511 ui->tabs()->selected_child()->take_focus();
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
512 else
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
513 ui->tabs()->window()->hide();
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
514 }
213
9a62d31d6f8b - More switches from destroy() to delete() call for close window.
jcid
parents: 172
diff changeset
515 delete(ui);
343
de7f0e48470f - Implemented hide tab labels for tabs < 2
jcid
parents: 341
diff changeset
516
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
517 a_Bw_free(bw);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
518 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
519
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
520 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
521 * Close all the browser windows
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
522 */
392
966b9162527d - Made ALT+q work.
jcid
parents: 388
diff changeset
523 void a_UIcmd_close_all_bw(void *)
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
524 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
525 BrowserWindow *bw;
367
898d503db27b - Added a confirmation dialog for closing with Windows/Tabs > 1
jcid
parents: 364
diff changeset
526 int choice = 0;
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
527
367
898d503db27b - Added a confirmation dialog for closing with Windows/Tabs > 1
jcid
parents: 364
diff changeset
528 if (a_Bw_num() > 1)
898d503db27b - Added a confirmation dialog for closing with Windows/Tabs > 1
jcid
parents: 364
diff changeset
529 choice = a_Dialog_choice3 ("More than one open tab or Window.",
898d503db27b - Added a confirmation dialog for closing with Windows/Tabs > 1
jcid
parents: 364
diff changeset
530 "Close all tabs and windows", "Cancel", NULL);
898d503db27b - Added a confirmation dialog for closing with Windows/Tabs > 1
jcid
parents: 364
diff changeset
531 if (choice == 0)
372
49886f14ffe1 - Committed the no bw as window user_data() patch.
jcid
parents: 371
diff changeset
532 while ((bw = a_Bw_get(0)))
367
898d503db27b - Added a confirmation dialog for closing with Windows/Tabs > 1
jcid
parents: 364
diff changeset
533 a_UIcmd_close_bw((void*)bw);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
534 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
535
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
536 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
537 * Open a new URL in the given browser window.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
538 *
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
539 * our custom "file:" URIs are normalized here too.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
540 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
541 void a_UIcmd_open_urlstr(void *vbw, const char *urlstr)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
542 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
543 char *new_urlstr;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
544 DilloUrl *url;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
545 int ch;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
546 BrowserWindow *bw = (BrowserWindow*)vbw;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
547
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
548 if (urlstr && *urlstr) {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
549 /* Filter URL string */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
550 new_urlstr = a_Url_string_strip_delimiters(urlstr);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
551
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
552 if (!dStrncasecmp(new_urlstr, "file:", 5)) {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
553 /* file URI */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
554 ch = new_urlstr[5];
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
555 if (!ch || ch == '.') {
334
619177c88430 - Forbid dpi GET and POST from non dpi-generated urls.
jcid
parents: 333
diff changeset
556 url = a_Url_new(a_Dir_get_owd(), "file:");
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
557 } else if (ch == '~') {
334
619177c88430 - Forbid dpi GET and POST from non dpi-generated urls.
jcid
parents: 333
diff changeset
558 url = a_Url_new(dGethomedir(), "file:");
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
559 } else {
334
619177c88430 - Forbid dpi GET and POST from non dpi-generated urls.
jcid
parents: 333
diff changeset
560 url = a_Url_new(new_urlstr, "file:");
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
561 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
562
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
563 } else {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
564 /* common case */
334
619177c88430 - Forbid dpi GET and POST from non dpi-generated urls.
jcid
parents: 333
diff changeset
565 url = a_Url_new(new_urlstr, NULL);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
566 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
567 dFree(new_urlstr);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
568
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
569 if (url) {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
570 a_Nav_push(bw, url);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
571 a_Url_free(url);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
572 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
573 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
574
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
575 /* let the rendered area have focus */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
576 //gtk_widget_grab_focus(GTK_BIN(bw->render_main_scroll)->child);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
577 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
578
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
579 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
580 * Open a new URL in the given browser window
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
581 */
22
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
582 void a_UIcmd_open_url(BrowserWindow *bw, const DilloUrl *url)
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
583 {
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
584 a_Nav_push(bw, url);
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
585 }
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
586
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
587 /*
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
588 * Open a new URL in the given browser window
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
589 */
11
4a5942beffdf Added some "const" qualifiers.
jcid
parents: 8
diff changeset
590 void a_UIcmd_open_url_nw(BrowserWindow *bw, const DilloUrl *url)
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
591 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
592 a_Nav_push_nw(bw, url);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
593 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
594
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
595 /*
350
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
596 * Open a new URL in a new tab in the same browser window
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
597 */
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
598 void a_UIcmd_open_url_nt(void *vbw, const DilloUrl *url, int focus)
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
599 {
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
600 BrowserWindow *new_bw = UIcmd_tab_new(vbw);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
601 if (url)
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
602 a_Nav_push(new_bw, url);
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
603 if (focus) {
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
604 BW2UI(new_bw)->tabs()->selected_child(BW2UI(new_bw));
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
605 BW2UI(new_bw)->tabs()->selected_child()->take_focus();
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
606 }
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
607 }
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
608
118fe0444e08 - Added the "middle_click_opens_new_tab" option to dillo2rc.
jcid
parents: 343
diff changeset
609 /*
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
610 * Send the browser back to previous page
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
611 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
612 void a_UIcmd_back(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
613 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
614 a_Nav_back((BrowserWindow*)vbw);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
615 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
616
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
617 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
618 * Popup the navigation menu of the Back button
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
619 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
620 void a_UIcmd_back_popup(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
621 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
622 a_Menu_history_popup((BrowserWindow*)vbw, -1);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
623 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
624
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
625 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
626 * Send the browser to next page in the history list
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
627 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
628 void a_UIcmd_forw(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
629 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
630 a_Nav_forw((BrowserWindow*)vbw);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
631 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
632
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
633 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
634 * Popup the navigation menu of the Forward button
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
635 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
636 void a_UIcmd_forw_popup(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
637 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
638 a_Menu_history_popup((BrowserWindow*)vbw, 1);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
639 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
640
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
641 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
642 * Send the browser to home URL
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
643 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
644 void a_UIcmd_home(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
645 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
646 a_Nav_home((BrowserWindow*)vbw);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
647 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
648
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
649 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
650 * Reload current URL
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
651 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
652 void a_UIcmd_reload(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
653 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
654 a_Nav_reload((BrowserWindow*)vbw);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
655 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
656
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
657 /*
827
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
658 * Repush current URL
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
659 */
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
660 void a_UIcmd_repush(void *vbw)
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
661 {
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
662 a_Nav_repush((BrowserWindow*)vbw);
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
663 }
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
664
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
665 /*
40
b8319194f7da Added a save-directory preference (save_dir in dillorc2).
jcid
parents: 35
diff changeset
666 * Return a suitable filename for a given URL path.
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
667 */
51
6ff7b6758e0c Added the "static" qualifier where missing.
jcid
parents: 50
diff changeset
668 static char *UIcmd_make_save_filename(const char *pathstr)
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
669 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
670 size_t MaxLen = 64;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
671 char *FileName, *name;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
672 const char *dir = a_UIcmd_get_save_dir();
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
673
40
b8319194f7da Added a save-directory preference (save_dir in dillorc2).
jcid
parents: 35
diff changeset
674 if ((name = strrchr(pathstr, '/'))) {
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
675 if (strlen(++name) > MaxLen) {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
676 name = name + strlen(name) - MaxLen;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
677 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
678 FileName = dStrconcat(dir ? dir : "", name, NULL);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
679 } else {
40
b8319194f7da Added a save-directory preference (save_dir in dillorc2).
jcid
parents: 35
diff changeset
680 FileName = dStrconcat(dir ? dir : "", pathstr, NULL);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
681 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
682 return FileName;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
683 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
684
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
685 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
686 * Get the default directory for saving files.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
687 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
688 const char *a_UIcmd_get_save_dir()
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
689 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
690 return save_dir;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
691 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
692
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
693 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
694 * Set the default directory for saving files.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
695 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
696 void a_UIcmd_set_save_dir(const char *dir)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
697 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
698 char *p;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
699
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
700 if (dir && (p = strrchr(dir, '/'))) {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
701 dFree(save_dir);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
702 // assert a trailing '/'
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
703 save_dir = dStrconcat(dir, (p[1] != 0) ? "/" : "", NULL);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
704 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
705 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
706
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
707 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
708 * Save current URL
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
709 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
710 void a_UIcmd_save(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
711 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
712 const char *name;
446
1b0dabe4afa2 - Switched a_UIcmd_save() to take its URL from history (not location bar).
jcid
parents: 442
diff changeset
713 char *SuggestedName;
1b0dabe4afa2 - Switched a_UIcmd_save() to take its URL from history (not location bar).
jcid
parents: 442
diff changeset
714 BrowserWindow *bw = (BrowserWindow *)vbw;
1b0dabe4afa2 - Switched a_UIcmd_save() to take its URL from history (not location bar).
jcid
parents: 442
diff changeset
715 const DilloUrl *url = a_History_get_url(NAV_TOP_UIDX(bw));
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
716
446
1b0dabe4afa2 - Switched a_UIcmd_save() to take its URL from history (not location bar).
jcid
parents: 442
diff changeset
717 if (url) {
1b0dabe4afa2 - Switched a_UIcmd_save() to take its URL from history (not location bar).
jcid
parents: 442
diff changeset
718 a_UIcmd_set_save_dir(prefs.save_dir);
1b0dabe4afa2 - Switched a_UIcmd_save() to take its URL from history (not location bar).
jcid
parents: 442
diff changeset
719 SuggestedName = UIcmd_make_save_filename(URL_PATH(url));
1b0dabe4afa2 - Switched a_UIcmd_save() to take its URL from history (not location bar).
jcid
parents: 442
diff changeset
720 name = a_Dialog_save_file("Save Page as File", NULL, SuggestedName);
1b0dabe4afa2 - Switched a_UIcmd_save() to take its URL from history (not location bar).
jcid
parents: 442
diff changeset
721 MSG("a_UIcmd_save: %s\n", name);
1b0dabe4afa2 - Switched a_UIcmd_save() to take its URL from history (not location bar).
jcid
parents: 442
diff changeset
722 dFree(SuggestedName);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
723
446
1b0dabe4afa2 - Switched a_UIcmd_save() to take its URL from history (not location bar).
jcid
parents: 442
diff changeset
724 if (name) {
1b0dabe4afa2 - Switched a_UIcmd_save() to take its URL from history (not location bar).
jcid
parents: 442
diff changeset
725 a_Nav_save_url(bw, url, name);
1b0dabe4afa2 - Switched a_UIcmd_save() to take its URL from history (not location bar).
jcid
parents: 442
diff changeset
726 }
930
b277eed3119c whitespace cleanup: 's/ +$//g'
Jorge Arellano Cid <jcid@dillo.org>
parents: 926
diff changeset
727 }
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
728 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
729
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
730 /*
172
765db4e71128 - Implemented the file input control for forms (work in progress).
jcid
parents: 95
diff changeset
731 * Select a file
765db4e71128 - Implemented the file input control for forms (work in progress).
jcid
parents: 95
diff changeset
732 */
765db4e71128 - Implemented the file input control for forms (work in progress).
jcid
parents: 95
diff changeset
733 const char *a_UIcmd_select_file()
765db4e71128 - Implemented the file input control for forms (work in progress).
jcid
parents: 95
diff changeset
734 {
765db4e71128 - Implemented the file input control for forms (work in progress).
jcid
parents: 95
diff changeset
735 return a_Dialog_select_file("Select a File", NULL, NULL);
765db4e71128 - Implemented the file input control for forms (work in progress).
jcid
parents: 95
diff changeset
736 }
765db4e71128 - Implemented the file input control for forms (work in progress).
jcid
parents: 95
diff changeset
737
765db4e71128 - Implemented the file input control for forms (work in progress).
jcid
parents: 95
diff changeset
738 /*
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
739 * Stop network activity on this bw.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
740 * The stop button was pressed: stop page (and images) downloads.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
741 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
742 void a_UIcmd_stop(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
743 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
744 BrowserWindow *bw = (BrowserWindow *)vbw;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
745
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
746 MSG("a_UIcmd_stop()\n");
376
9be38a4a0b14 - Disallowed loading images when expecting is set.
jcid
parents: 372
diff changeset
747 a_Nav_cancel_expect(bw);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
748 a_Bw_stop_clients(bw, BW_Root + BW_Img + Bw_Force);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
749 a_UIcmd_set_buttons_sens(bw);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
750 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
751
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
752 /*
827
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
753 * Popup the tools menu
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
754 */
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
755 void a_UIcmd_tools(void *vbw, void *v_wid)
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
756 {
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
757 a_Menu_tools_popup((BrowserWindow*)vbw, v_wid);
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
758 }
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
759
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
760 /*
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
761 * Open URL with dialog chooser
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
762 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
763 void a_UIcmd_open_file(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
764 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
765 char *name;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
766 DilloUrl *url;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
767
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
768 name = a_Dialog_open_file("Open File", NULL, "");
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
769
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
770 if (name) {
334
619177c88430 - Forbid dpi GET and POST from non dpi-generated urls.
jcid
parents: 333
diff changeset
771 url = a_Url_new(name, "file:");
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
772 a_Nav_push((BrowserWindow*)vbw, url);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
773 a_Url_free(url);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
774 dFree(name);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
775 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
776 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
777
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
778 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
779 * Returns a newly allocated string holding a search url generated from
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
780 * a string of keywords (separarated by blanks) and prefs.search_url.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
781 * The search string is urlencoded.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
782 */
51
6ff7b6758e0c Added the "static" qualifier where missing.
jcid
parents: 50
diff changeset
783 static char *UIcmd_make_search_str(const char *str)
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
784 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
785 char *keys = a_Url_encode_hex_str(str), *c = prefs.search_url;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
786 Dstr *ds = dStr_sized_new(128);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
787 char *search_url;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
788
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
789 for (; *c; c++) {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
790 if (*c == '%')
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
791 switch(*++c) {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
792 case 's':
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
793 dStr_append(ds, keys); break;;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
794 case '%':
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
795 dStr_append_c(ds, '%'); break;;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
796 case 0:
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
797 MSG_WARN("search_url ends with '%%'\n"); c--; break;;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
798 default:
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
799 MSG_WARN("illegal specifier '%%%c' in search_url\n", *c);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
800 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
801 else
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
802 dStr_append_c(ds, *c);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
803 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
804 dFree(keys);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
805
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
806 search_url = ds->str;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
807 dStr_free(ds, 0);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
808 return search_url;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
809 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
810
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
811 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
812 * Get a query from a dialog and open it
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
813 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
814 void a_UIcmd_search_dialog(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
815 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
816 const char *query, *url_str;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
817
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
818 if ((query = a_Dialog_input("Search the Web:"))) {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
819 url_str = UIcmd_make_search_str(query);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
820 a_UIcmd_open_urlstr(vbw, url_str);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
821 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
822 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
823
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
824 /*
241
78fa66a3ba64 - Enabled proxy_user in preferences.
jcid
parents: 224
diff changeset
825 * Get password for user
78fa66a3ba64 - Enabled proxy_user in preferences.
jcid
parents: 224
diff changeset
826 */
78fa66a3ba64 - Enabled proxy_user in preferences.
jcid
parents: 224
diff changeset
827 const char *a_UIcmd_get_passwd(const char *user)
78fa66a3ba64 - Enabled proxy_user in preferences.
jcid
parents: 224
diff changeset
828 {
78fa66a3ba64 - Enabled proxy_user in preferences.
jcid
parents: 224
diff changeset
829 const char *passwd;
78fa66a3ba64 - Enabled proxy_user in preferences.
jcid
parents: 224
diff changeset
830 char *prompt = dStrconcat("Password for user \"", user, "\"", NULL);
78fa66a3ba64 - Enabled proxy_user in preferences.
jcid
parents: 224
diff changeset
831 passwd = a_Dialog_passwd(prompt);
78fa66a3ba64 - Enabled proxy_user in preferences.
jcid
parents: 224
diff changeset
832 dFree(prompt);
78fa66a3ba64 - Enabled proxy_user in preferences.
jcid
parents: 224
diff changeset
833 return passwd;
78fa66a3ba64 - Enabled proxy_user in preferences.
jcid
parents: 224
diff changeset
834 }
78fa66a3ba64 - Enabled proxy_user in preferences.
jcid
parents: 224
diff changeset
835
78fa66a3ba64 - Enabled proxy_user in preferences.
jcid
parents: 224
diff changeset
836 /*
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
837 * Save link URL
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
838 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
839 void a_UIcmd_save_link(BrowserWindow *bw, const DilloUrl *url)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
840 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
841 const char *name;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
842 char *SuggestedName;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
843
42
42bc9637b93d Fixed a bug in the save_dir patch
jcid
parents: 40
diff changeset
844 a_UIcmd_set_save_dir(prefs.save_dir);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
845
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
846 SuggestedName = UIcmd_make_save_filename(URL_STR(url));
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
847 name = a_Dialog_save_file("Save Link as File", NULL, SuggestedName);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
848 MSG("a_UIcmd_save_link: %s\n", name);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
849 dFree(SuggestedName);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
850
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
851 if (name) {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
852 a_Nav_save_url(bw, url, name);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
853 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
854 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
855
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
856 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
857 * Request the bookmarks page
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
858 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
859 void a_UIcmd_book(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
860 {
334
619177c88430 - Forbid dpi GET and POST from non dpi-generated urls.
jcid
parents: 333
diff changeset
861 DilloUrl *url = a_Url_new("dpi:/bm/", NULL);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
862 a_Nav_push((BrowserWindow*)vbw, url);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
863 a_Url_free(url);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
864 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
865
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
866 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
867 * Add a bookmark for a certain URL
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
868 */
11
4a5942beffdf Added some "const" qualifiers.
jcid
parents: 8
diff changeset
869 void a_UIcmd_add_bookmark(BrowserWindow *bw, const DilloUrl *url)
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
870 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
871 a_Bookmarks_add(bw, url);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
872 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
873
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
874
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
875 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
876 * Popup the page menu
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
877 */
907
35054b4e3b1b Switched load images on/off feature to the Tools menu
corvid <corvid@lavabit.com>
parents: 827
diff changeset
878 void a_UIcmd_page_popup(void *vbw, bool_t has_bugs)
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
879 {
827
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
880 BrowserWindow *bw = (BrowserWindow*)vbw;
d513abcd4949 Implemented the tools button with CSS options. Also removed nav.h from html.cc
Jorge Arellano Cid <jcid@dillo.org>
parents: 776
diff changeset
881 DilloUrl *url = a_History_get_url(NAV_TOP_UIDX(bw));
907
35054b4e3b1b Switched load images on/off feature to the Tools menu
corvid <corvid@lavabit.com>
parents: 827
diff changeset
882 a_Menu_page_popup(bw, url, has_bugs);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
883 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
884
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
885 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
886 * Popup the link menu
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
887 */
11
4a5942beffdf Added some "const" qualifiers.
jcid
parents: 8
diff changeset
888 void a_UIcmd_link_popup(void *vbw, const DilloUrl *url)
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
889 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
890 a_Menu_link_popup((BrowserWindow*)vbw, url);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
891 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
892
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
893 /*
22
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
894 * Pop up the image menu
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
895 */
356
81338758c3dd - Added a workaround for segfaulting popup menus.
jcid
parents: 352
diff changeset
896 void a_UIcmd_image_popup(void *vbw, const DilloUrl *url, bool_t loaded_img,
926
caf45b6c8535 Fixed the load image popup option. Also cleaned up the API a bit.
corvid <corvid@lavabit.com>
parents: 908
diff changeset
897 DilloUrl *page_url, DilloUrl *link_url)
22
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
898 {
926
caf45b6c8535 Fixed the load image popup option. Also cleaned up the API a bit.
corvid <corvid@lavabit.com>
parents: 908
diff changeset
899 a_Menu_image_popup((BrowserWindow*)vbw, url, loaded_img, page_url,link_url);
22
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
900 }
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
901
571f09e42ab6 - Hooked "Activate" to the form_receiver.
jcid
parents: 19
diff changeset
902 /*
477
9a41a7db39f5 Added a popup menu to form's submit button
corvid <corvid@lavabit.com>
parents: 453
diff changeset
903 * Pop up the form menu
9a41a7db39f5 Added a popup menu to form's submit button
corvid <corvid@lavabit.com>
parents: 453
diff changeset
904 */
484
cdfdb006f193 Added a right-click menu to the form submit button (allows to show hiddens)
Jorge Arellano Cid <jcid@dillo.org>
parents: 477
diff changeset
905 void a_UIcmd_form_popup(void *vbw, const DilloUrl *url, void *vform,
cdfdb006f193 Added a right-click menu to the form submit button (allows to show hiddens)
Jorge Arellano Cid <jcid@dillo.org>
parents: 477
diff changeset
906 bool_t showing_hiddens)
477
9a41a7db39f5 Added a popup menu to form's submit button
corvid <corvid@lavabit.com>
parents: 453
diff changeset
907 {
484
cdfdb006f193 Added a right-click menu to the form submit button (allows to show hiddens)
Jorge Arellano Cid <jcid@dillo.org>
parents: 477
diff changeset
908 a_Menu_form_popup((BrowserWindow*)vbw, url, vform, showing_hiddens);
477
9a41a7db39f5 Added a popup menu to form's submit button
corvid <corvid@lavabit.com>
parents: 453
diff changeset
909 }
9a41a7db39f5 Added a popup menu to form's submit button
corvid <corvid@lavabit.com>
parents: 453
diff changeset
910
9a41a7db39f5 Added a popup menu to form's submit button
corvid <corvid@lavabit.com>
parents: 453
diff changeset
911 /*
400
31b866fdde87 - File menu as popup implementation.
jcid
parents: 399
diff changeset
912 * Pop up the file menu
31b866fdde87 - File menu as popup implementation.
jcid
parents: 399
diff changeset
913 */
31b866fdde87 - File menu as popup implementation.
jcid
parents: 399
diff changeset
914 void a_UIcmd_file_popup(void *vbw, void *v_wid)
31b866fdde87 - File menu as popup implementation.
jcid
parents: 399
diff changeset
915 {
31b866fdde87 - File menu as popup implementation.
jcid
parents: 399
diff changeset
916 a_Menu_file_popup((BrowserWindow*)vbw, v_wid);
31b866fdde87 - File menu as popup implementation.
jcid
parents: 399
diff changeset
917 }
31b866fdde87 - File menu as popup implementation.
jcid
parents: 399
diff changeset
918
31b866fdde87 - File menu as popup implementation.
jcid
parents: 399
diff changeset
919 /*
55
a1f38544fab6 copy image/link location
jcid
parents: 51
diff changeset
920 * Copy url string to paste buffer
a1f38544fab6 copy image/link location
jcid
parents: 51
diff changeset
921 */
a1f38544fab6 copy image/link location
jcid
parents: 51
diff changeset
922 void a_UIcmd_copy_urlstr(BrowserWindow *bw, const char *urlstr)
a1f38544fab6 copy image/link location
jcid
parents: 51
diff changeset
923 {
a1f38544fab6 copy image/link location
jcid
parents: 51
diff changeset
924 Layout *layout = (Layout*)bw->render_layout;
a1f38544fab6 copy image/link location
jcid
parents: 51
diff changeset
925 layout->copySelection(urlstr);
a1f38544fab6 copy image/link location
jcid
parents: 51
diff changeset
926 }
a1f38544fab6 copy image/link location
jcid
parents: 51
diff changeset
927
a1f38544fab6 copy image/link location
jcid
parents: 51
diff changeset
928 /*
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
929 * Show a text window with the URL's source
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
930 */
11
4a5942beffdf Added some "const" qualifiers.
jcid
parents: 8
diff changeset
931 void a_UIcmd_view_page_source(const DilloUrl *url)
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
932 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
933 char *buf;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
934 int buf_size;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
935
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
936 if (a_Nav_get_buf(url, &buf, &buf_size)) {
260
81fc5011ea56 - Moved charset decoding into cache.
jcid
parents: 241
diff changeset
937 void *vWindow = a_Dialog_make_text_window(buf, "View Page source");
81fc5011ea56 - Moved charset decoding into cache.
jcid
parents: 241
diff changeset
938 a_Nav_unref_buf(url);
81fc5011ea56 - Moved charset decoding into cache.
jcid
parents: 241
diff changeset
939 a_Dialog_show_text_window(vWindow);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
940 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
941 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
942
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
943 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
944 * Show a text window with the URL's source
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
945 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
946 void a_UIcmd_view_page_bugs(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
947 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
948 BrowserWindow *bw = (BrowserWindow*)vbw;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
949
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
950 if (bw->num_page_bugs > 0) {
260
81fc5011ea56 - Moved charset decoding into cache.
jcid
parents: 241
diff changeset
951 void *vWindow = a_Dialog_make_text_window(bw->page_bugs->str,
81fc5011ea56 - Moved charset decoding into cache.
jcid
parents: 241
diff changeset
952 "Detected HTML errors");
81fc5011ea56 - Moved charset decoding into cache.
jcid
parents: 241
diff changeset
953 a_Dialog_show_text_window(vWindow);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
954 } else {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
955 a_Dialog_msg("Zero detected HTML errors!");
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
956 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
957 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
958
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
959 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
960 * Popup the bug meter menu
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
961 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
962 void a_UIcmd_bugmeter_popup(void *vbw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
963 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
964 BrowserWindow *bw = (BrowserWindow*)vbw;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
965
19
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
966 a_Menu_bugmeter_popup(bw, a_History_get_url(NAV_TOP_UIDX(bw)));
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
967 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
968
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
969 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
970 * Make a list of URL indexes for the history popup
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
971 * based on direction (-1 = back, 1 = forward)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
972 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
973 int *a_UIcmd_get_history(BrowserWindow *bw, int direction)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
974 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
975 int i, j, n;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
976 int *hlist;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
977
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
978 // Count the number of URLs
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
979 i = a_Nav_stack_ptr(bw) + direction;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
980 for (n = 0 ; i >= 0 && i < a_Nav_stack_size(bw); i+=direction)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
981 ++n;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
982 hlist = dNew(int, n + 1);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
983
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
984 // Fill the list
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
985 i = a_Nav_stack_ptr(bw) + direction;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
986 for (j = 0 ; i >= 0 && i < a_Nav_stack_size(bw); i+=direction, j += 1) {
19
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
987 hlist[j] = NAV_UIDX(bw,i);
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
988 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
989 hlist[j] = -1;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
990
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
991 return hlist;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
992 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
993
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
994 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
995 * Jump to a certain URL in the navigation stack.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
996 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
997 void a_UIcmd_nav_jump(BrowserWindow *bw, int offset, int new_bw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
998 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
999 a_Nav_jump(bw, offset, new_bw);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1000 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1001
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1002 // UI binding functions -------------------------------------------------------
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1003
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1004 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1005 * Return browser window width and height
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1006 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1007 void a_UIcmd_get_wh(BrowserWindow *bw, int *w, int *h)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1008 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1009 *w = BW2UI(bw)->w();
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1010 *h = BW2UI(bw)->h();
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1011 _MSG("a_UIcmd_wh: w=%d, h=%d\n", *w, *h);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1012 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1013
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1014 /*
15
a15e6c075023 Fixed the problem of scrolling position (remember position in a page)
jcid
parents: 11
diff changeset
1015 * Get the scroll position (x, y offset pair)
a15e6c075023 Fixed the problem of scrolling position (remember position in a page)
jcid
parents: 11
diff changeset
1016 */
a15e6c075023 Fixed the problem of scrolling position (remember position in a page)
jcid
parents: 11
diff changeset
1017 void a_UIcmd_get_scroll_xy(BrowserWindow *bw, int *x, int *y)
a15e6c075023 Fixed the problem of scrolling position (remember position in a page)
jcid
parents: 11
diff changeset
1018 {
a15e6c075023 Fixed the problem of scrolling position (remember position in a page)
jcid
parents: 11
diff changeset
1019 Layout *layout = (Layout*)bw->render_layout;
a15e6c075023 Fixed the problem of scrolling position (remember position in a page)
jcid
parents: 11
diff changeset
1020
a15e6c075023 Fixed the problem of scrolling position (remember position in a page)
jcid
parents: 11
diff changeset
1021 if (layout) {
a15e6c075023 Fixed the problem of scrolling position (remember position in a page)
jcid
parents: 11
diff changeset
1022 *x = layout->getScrollPosX();
a15e6c075023 Fixed the problem of scrolling position (remember position in a page)
jcid
parents: 11
diff changeset
1023 *y = layout->getScrollPosY();
a15e6c075023 Fixed the problem of scrolling position (remember position in a page)
jcid
parents: 11
diff changeset
1024 }
a15e6c075023 Fixed the problem of scrolling position (remember position in a page)
jcid
parents: 11
diff changeset
1025 }
a15e6c075023 Fixed the problem of scrolling position (remember position in a page)
jcid
parents: 11
diff changeset
1026
a15e6c075023 Fixed the problem of scrolling position (remember position in a page)
jcid
parents: 11
diff changeset
1027 /*
19
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1028 * Set the scroll position ({x, y} offset pair)
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1029 */
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1030 void a_UIcmd_set_scroll_xy(BrowserWindow *bw, int x, int y)
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1031 {
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1032 Layout *layout = (Layout*)bw->render_layout;
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1033
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1034 if (layout) {
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1035 layout->scrollTo(HPOS_LEFT, VPOS_TOP, x, y, 0, 0);
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1036 }
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1037 }
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1038
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1039 /*
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1040 * Set the scroll position by fragment (from URL)
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1041 */
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1042 void a_UIcmd_set_scroll_by_fragment(BrowserWindow *bw, const char *f)
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1043 {
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1044 Layout *layout = (Layout*)bw->render_layout;
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1045
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1046 if (layout && f) {
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1047 layout->setAnchor(f);
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1048 }
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1049 }
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1050
145bd87089e7 Implemented a new scheme of scroll-position remembering. This is one per
jcid
parents: 15
diff changeset
1051 /*
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1052 * Get location's text
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1053 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1054 char *a_UIcmd_get_location_text(BrowserWindow *bw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1055 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1056 return dStrdup(BW2UI(bw)->get_location());
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1057 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1058
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1059 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1060 * Set location's text
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1061 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1062 void a_UIcmd_set_location_text(void *vbw, const char *text)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1063 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1064 BrowserWindow *bw = (BrowserWindow*)vbw;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1065 BW2UI(bw)->set_location(text);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1066 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1067
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1068 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1069 * Set the page progress bar
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1070 * cmd: 0 Deactivate, 1 Update, 2 Clear
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1071 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1072 void a_UIcmd_set_page_prog(BrowserWindow *bw, size_t nbytes, int cmd)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1073 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1074 BW2UI(bw)->set_page_prog(nbytes, cmd);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1075 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1076
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1077 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1078 * Set the images progress bar
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1079 * cmd: 0 Deactivate, 1 Update, 2 Clear
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1080 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1081 void a_UIcmd_set_img_prog(BrowserWindow *bw, int n_img, int t_img, int cmd)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1082 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1083 BW2UI(bw)->set_img_prog(n_img, t_img, cmd);
291
f8ec5a664371 - Updated AUTHORS
jcid
parents: 260
diff changeset
1084 #if 0
293
8b9684badb34 - Added a minor debug feature.
jcid
parents: 291
diff changeset
1085 if (!cmd)
291
f8ec5a664371 - Updated AUTHORS
jcid
parents: 260
diff changeset
1086 a_UIcmd_close_bw(bw);
f8ec5a664371 - Updated AUTHORS
jcid
parents: 260
diff changeset
1087 #endif
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1088 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1089
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1090 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1091 * Set the bug meter progress label
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1092 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1093 void a_UIcmd_set_bug_prog(BrowserWindow *bw, int n_bug)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1094 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1095 BW2UI(bw)->set_bug_prog(n_bug);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1096 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1097
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1098 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1099 * Set the page title.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1100 * now it goes to the window titlebar (maybe to TAB label in the future).
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1101 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1102 void a_UIcmd_set_page_title(BrowserWindow *bw, const char *label)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1103 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1104 BW2UI(bw)->set_page_title(label);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1105 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1106
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1107 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1108 * Set a printf-like status string on the bottom of the dillo window.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1109 * Beware: The safe way to set an arbitrary string is
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1110 * a_UIcmd_set_msg(bw, "%s", str)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1111 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1112 void a_UIcmd_set_msg(BrowserWindow *bw, const char *format, ...)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1113 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1114 va_list argp;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1115 Dstr *ds = dStr_sized_new(128);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1116 va_start(argp, format);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1117 dStr_vsprintf(ds, format, argp);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1118 va_end(argp);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1119 BW2UI(bw)->set_status(ds->str);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1120 dStr_free(ds, 1);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1121 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1122
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1123 /*
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1124 * Set the sensitivity of back/forw/stop buttons.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1125 */
371
898e6ca77d7e - Removed the button sensitivity timeout.
jcid
parents: 367
diff changeset
1126 void a_UIcmd_set_buttons_sens(BrowserWindow *bw)
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1127 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1128 int sens;
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1129
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1130 // Stop
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1131 sens = (dList_length(bw->ImageClients) || dList_length(bw->RootClients));
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1132 BW2UI(bw)->button_set_sens(UI_STOP, sens);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1133 // Back
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1134 sens = (a_Nav_stack_ptr(bw) > 0);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1135 BW2UI(bw)->button_set_sens(UI_BACK, sens);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1136 // Forward
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1137 sens = (a_Nav_stack_ptr(bw) < a_Nav_stack_size(bw) - 1 &&
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1138 !bw->nav_expecting);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1139 BW2UI(bw)->button_set_sens(UI_FORW, sens);
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1140 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1141
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1142 /*
438
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1143 * Keep track of mouse pointer over a link.
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1144 */
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1145 void a_UIcmd_set_pointer_on_link(BrowserWindow *bw, int flag)
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1146 {
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1147 BW2UI(bw)->pointerOnLink(flag);
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1148 }
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1149
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1150 /*
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1151 * Is the mouse pointer over a link?
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1152 */
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1153 int a_UIcmd_pointer_on_link(BrowserWindow *bw)
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1154 {
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1155 return BW2UI(bw)->pointerOnLink();
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1156 }
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1157
29c514f5ce00 - Added the "middle_click_drags_page" dillorc option.
jcid
parents: 433
diff changeset
1158 /*
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1159 * Toggle control panel (aka. fullscreen)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1160 */
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1161 void a_UIcmd_fullscreen_toggle(BrowserWindow *bw)
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1162 {
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1163 BW2UI(bw)->fullscreen_toggle();
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1164 }
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1165
56
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1166 /*
908
40bc2df4de7a Implemented "search previous" in string searches
João Ricardo Lourenço <jorl17.8@gmail.com>
parents: 907
diff changeset
1167 * Search for next/previous occurrence of key.
56
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1168 */
941
217470146a54 whitespace
Jorge Arellano Cid <jcid@dillo.org>
parents: 930
diff changeset
1169 void a_UIcmd_findtext_search(BrowserWindow *bw, const char *key,
217470146a54 whitespace
Jorge Arellano Cid <jcid@dillo.org>
parents: 930
diff changeset
1170 int case_sens, int backwards)
56
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1171 {
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1172 Layout *l = (Layout *)bw->render_layout;
930
b277eed3119c whitespace cleanup: 's/ +$//g'
Jorge Arellano Cid <jcid@dillo.org>
parents: 926
diff changeset
1173
908
40bc2df4de7a Implemented "search previous" in string searches
João Ricardo Lourenço <jorl17.8@gmail.com>
parents: 907
diff changeset
1174 switch (l->search(key, case_sens, backwards)) {
941
217470146a54 whitespace
Jorge Arellano Cid <jcid@dillo.org>
parents: 930
diff changeset
1175 case FindtextState::RESTART:
217470146a54 whitespace
Jorge Arellano Cid <jcid@dillo.org>
parents: 930
diff changeset
1176 a_UIcmd_set_msg(bw, "No further occurrences of \"%s\". "
217470146a54 whitespace
Jorge Arellano Cid <jcid@dillo.org>
parents: 930
diff changeset
1177 "Restarting from the top.", key);
217470146a54 whitespace
Jorge Arellano Cid <jcid@dillo.org>
parents: 930
diff changeset
1178 break;
217470146a54 whitespace
Jorge Arellano Cid <jcid@dillo.org>
parents: 930
diff changeset
1179 case FindtextState::NOT_FOUND:
217470146a54 whitespace
Jorge Arellano Cid <jcid@dillo.org>
parents: 930
diff changeset
1180 a_UIcmd_set_msg(bw, "\"%s\" not found.", key);
217470146a54 whitespace
Jorge Arellano Cid <jcid@dillo.org>
parents: 930
diff changeset
1181 break;
217470146a54 whitespace
Jorge Arellano Cid <jcid@dillo.org>
parents: 930
diff changeset
1182 case FindtextState::SUCCESS:
217470146a54 whitespace
Jorge Arellano Cid <jcid@dillo.org>
parents: 930
diff changeset
1183 default:
217470146a54 whitespace
Jorge Arellano Cid <jcid@dillo.org>
parents: 930
diff changeset
1184 a_UIcmd_set_msg(bw, "");
56
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1185 }
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1186 }
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1187
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1188 /*
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1189 * Reset text search state.
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1190 */
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1191 void a_UIcmd_findtext_reset(BrowserWindow *bw)
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1192 {
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1193 Layout *l = (Layout *)bw->render_layout;
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1194 l->resetSearch();
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1195
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1196 a_UIcmd_set_msg(bw, "");
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1197 }
7bf5884218c4 - Bound Ctrl+Space to fullscreen toggle.
jcid
parents: 55
diff changeset
1198
341
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1199 /*
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1200 * Focus the rendered area.
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1201 */
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1202 void a_UIcmd_focus_main_area(BrowserWindow *bw)
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1203 {
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1204 BW2UI(bw)->focus_main();
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1205 }
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1206
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1207 /*
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1208 * Focus the location bar.
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1209 */
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1210 void a_UIcmd_focus_location(void *vbw)
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1211 {
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1212 BrowserWindow *bw = (BrowserWindow*)vbw;
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1213 BW2UI(bw)->focus_location();
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1214 }
215da0caf90b - Implemented tabbed browsing.
jcid
parents: 335
diff changeset
1215